by Dov M . Gabbay (Author), J.A.Robinson (Author), C . J . Hogger (Author)
Provides authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas of application of logic in artificial intelligence and computer science. The book assumes as background some mathematical sophistication.
Format: Hardcover
Pages: 536
Edition: illustrated edition
Publisher: Clarendon Press
Published: 24 Jun 1993
ISBN 10: 019853745X
ISBN 13: 9780198537458