PakCat catalogue record

Computational Logic

Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski part II

By Kakas C. Antonis

Bibliographic details

ISBN
9783540439608
Publisher
Springer-Verlag
Publication place
Berlin
Publication year
2002
Language
English
Material type
Book
Physical description
2 v.

Additional authors

Kowalski, Robert. Kakas, Antonis C. Sadri, Fariba LINK (Online service)

Subjects

Logic programming., Automatic theorem proving., Logic programming languages.

Related catalogue records

Logic, programming, and Prolog Nilsson, Ulf Computing with logic Maier, David Discrete structures, logic, and computability Hein, James L. Constraint handling rules Frühwirth, Thom Programming logic and design Farrell, Joyce Programming logic and design Farrell, Joyce Constraint logic programming using ECLiPSe Apt, Krzysztof R. Programming logic and design Farrell, Joyce