Vista normal Vista MARC Vista ISBD

Logic for programming artificial intelligence and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / LPAR 2003 Franz Baade, Andrei Virinkov, eds. - xi, 562 páginas : ilustraciones - Lecture notes in computer science, 3452. . - Lecture notes in computer science .

ISBN: 3540252363

Subjects--Topical Terms:
Programación lógica--Congresos
Demostración automática de teoremas--Congresos

LC Class. No.: QA76.63 / I57 2004