Franklin

Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski / Antonis C. Kakas, Fariba Sadri (eds.)

Publication:
Berlin ; New York : Springer, 2002.
Series:
Lecture notes in computer science; 2407-2408.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Lecture notes in computer science ; 2407-2408 Lecture notes in artificial intelligence
Format/Description:
Book
2 v. : ill., port. ; 25 cm.
Subjects:
Kowalski, Robert.
Logic programming.
Automatic theorem proving.
Logic programming languages.
Notes:
Includes bibliographical references and index.
Contributor:
Kakas, Antonis C.
Sadri, Fariba, 1956-
Kowalski, Robert.
ISBN:
3540439595 (pt. I : softcover : alk. paper)
3540439609 (pt. II : softcover : alk. paper)
OCLC:
123123924
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy