From Aristotle to Augustine / edited by David Furley

• Record Nr.: UNISA990001502900203316
• Pubbl/distr/stampa: London [etc.] : Routledge, 2003
• ISBN: 0-415-30874-7
• Descrizione fisica: XXII, 457 p. ; 25 cm.
• Disciplina: 180.901
• Soggetti: Filosofia antica - Storia
• Collocazione: II.1 Coll. 8/ 3(IV B Coll. 45/II)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Logic programming and automated reasoning : 5th International conference LPAR'94 : Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.)

• Record Nr.: UNISA990000200500203316
• Autore: International conference LPAR'94 : 5. : 1994
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1994
• ISBN: 3-540-58216-9
• Descrizione fisica: X, 344 p. : ill. ; 24 cm
• Collana: Lecture notes in artificial intelligence ; 822
• Disciplina: 005131
• Collocazione: 006.3 LNIA (822)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: serie principale: lecture notes incomputer science