Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings / Moshe Y. Vardi, Anderi Voronkov (eds.).

Author/creator LPAR
Other author Vardi, Moshe Y.
Other author Voronkov, Andrei, 1959-
Format Book
Publication InfoBerlin ; New York : Springer, ©2003.
Descriptionxiii, 436 pages : illustrations ; 24 cm.
Subjects

SeriesLecture notes in artificial intelligence ; 2850
Lecture notes in computer science 2850. ^A466336
Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography noteIncludes bibliographical references and index.
LCCN 2003061048
ISBN3540201017

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.63 .L735 2003 ✔ Available Place Hold