Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski :: ISBN 3540439609 :: Springer 2002 :: OBNB, the Open British National Bibliography

Publication Data

Title Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
Contributors Robert Kowalski, Antonis C. Kakas, Fariba Sadri
Publisher Springer
Publication date 2002
Publication location Berlin
Language English

Topics

Logic programming
Automatic theorem proving
Logic programming languages

Catalogue Data

OBNB ID GBA250850
ISBN 10 3540439609
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.115

ISBD

P1053 xii, 628 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. ISBN 3540439609. Published by Springer in 2002. Publication and catalogue information, links to buy online and reader comments.