Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira.

Author/creator Alferes, José Júlio
Other author Pereira, Luís Moniz.
Format Book
Publication InfoBerlin ; New York : Springer, ©1996.
Descriptionxx, 326 pages : illustrations ; 24 cm.
Subjects

SeriesLecture notes in computer science ; 1111. Lecture notes in artificial intelligence
Lecture notes in computer science 1111. ^A466336
Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
General noteErrata slip inserted.
Bibliography noteIncludes bibliographical references (p. [271]-281).
LCCN 96027904
ISBN3540614885 (Berlin : soft : acid-free paper)

Availability

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