Handbook of logic in artificial intelligence and logic programming. Vol.2, Deduction methodologies :: ISBN 0198537468 :: Clarendon 1994 :: OBNB, the Open British National Bibliography

Publication Data

Title Handbook of logic in artificial intelligence and logic programming. Vol.2, Deduction methodologies
Contributors Dov M. Gabbay, Christopher John Hogger, J. A. Robinson
Publisher Clarendon
Publication date 1994
Publication location Oxford
Language English

Topics

Logic programming
Artificial intelligence
Logic, Symbolic and mathematical

Catalogue Data

OBNB ID GB9427591
ISBN 10 0198537468
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 006.3

ISBD

P1053 xv,511p.
P1042 Includes bibliographies and index.

Buy a copy

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

Handbook of logic in artificial intelligence and logic programming. Vol.2, Deduction methodologies. ISBN 0198537468. Published by Clarendon in 1994. Publication and catalogue information, links to buy online and reader comments.