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:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky U156/2 Dotisk 2002
4200516254