by Dov M . Gabbay (Author), J.A.Robinson (Author), D . Nute (Contributor), C . J . Hogger (Author)
Part of a multivolume work covering the application of logic to artificial intelligence and logic programming.
Format: Hardcover
Pages: 552
Edition: illustrated edition
Publisher: Clarendon Press
Published: 17 Mar 1994
ISBN 10: 0198537476
ISBN 13: 9780198537472