Reasoning with logic programming /

Saved in:
Bibliographic Details
Main Author: Alferes, José Júlio
Other Authors: Pereira, Luĩs Moniz
Format: Book
Language:English
Published: Berlin ; New York : Springer, c1996.
Series:Lecture notes in computer science ; 1111.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Description
Item Description:Errata slip inserted.
Physical Description:xx, 326 p. : ill. ; 24 cm.
Bibliography:Includes bibliographical references (p. [271]-281).
ISBN:3540614885