Handbook of logic in artificial intelligence and logic programming. Vol. 2, Deduction methodologies /

Uloženo v:
Podrobná bibliografie
Další autoři: Gabbay, Dov M., 1945- (Editor), Hogger, Christopher John (Editor), Robinson, J. A. (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Oxford : Clarendon Press, c1994
Edice:Handbooks of logic in computer science
Artificial intelligence and logic programming
Témata:
logické programování
symbolická logika
umělá inteligence
artificial intelligence
logic programming
symbolic logic
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
Popis
Fyzický popis:xiii, 511 s.
ISBN:0-19-853746-8

Podobné jednotky