Reasoning with Logic Programming

Shelfclass_id 4.B.5
Sortkey ALFERES, JOSÉ JÚLIO
Authors José Júlio Alferes, Luis Moniz Pereira, Luís Moniz Pereira
Title Reasoning with Logic Programming
Publisher Springer-Verlag
Year c1996
Languages eng
Isbn 3540614885
Series Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence
Volume 1111
Issn 0302-9743
Description (Berlin: soft: acid-free paper) xx, 326 p. ill. 24 cm
Record date 20060712
Location New York
Keywords Logic programming, Reasoning
Notes Errata slip inserted