Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski /

Bibliographic Details

Corporate Authors:	SpringerLink (Online service), LINK (Online service)
Other Authors:	Kowalski, Robert, Kakas, Antonis C., Sadri, Fariba, 1956-
Format:	eBook
Language:	English
Published:	Berlin ; Hong Kong : Springer-Verlag, [2002]
Series:	Lecture notes in computer science ; 2407-2408. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Kowalski, Robert. Logic programming. Automatic theorem proving. Logic programming languages. Electronic books.
Online Access:	Connect to the full text of this electronic book