Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies
Author:   Dov M. Gabbay (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) ,  C. J. Hogger (Department of Computing, Department of Computing, Imperial College of Science, Technology and Medicine) ,  J. A. Robinson (Department of Computing Science, Department of Computing Science, Syracuse University, New York) ,  J. Siekmann
Publisher:   Oxford University Press
ISBN:  

9780198537465


Pages:   526
Publication Date:   17 March 1994
Format:   Hardback
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Our Price $604.95 Quantity:  
Add to Cart

Share |

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies


Overview

Full Product Details

Author:   Dov M. Gabbay (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) ,  C. J. Hogger (Department of Computing, Department of Computing, Imperial College of Science, Technology and Medicine) ,  J. A. Robinson (Department of Computing Science, Department of Computing Science, Syracuse University, New York) ,  J. Siekmann
Publisher:   Oxford University Press
Imprint:   Clarendon Press
Dimensions:   Width: 16.30cm , Height: 3.30cm , Length: 24.20cm
Weight:   0.899kg
ISBN:  

9780198537465


ISBN 10:   0198537468
Pages:   526
Publication Date:   17 March 1994
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Table of Contents

Reviews

`three volumes of the handbook of Logic in Artificial Intelligence and Logic Programming represent a detailed and comprehensive exposition of the theoretical and computational features of a wide variety of classical and non-classical logics ... the Handbook can be unreservedly recommended to AI practitionrs with proficiency in logic and commitment to its role in the development of AI systems' Maria Fox, University College, London, The Computer Journal, Vol. 37, No. 9, 1994


Review of the first three volumes: '.. an essential acquisition for any library covering theoretical computer science and highly desirable for any researcher in the field.' Times Higher Education Supplement Review of the first three volumes: '... represent a detailed and comprehensive exposition of the theoretical and computational features of a wide variety of classical and non-classical logics.' '...can be unreservedly recommended to AI practitioners with proficiency in logic and commitment to its role in the development of AI systems.' The Computer Journal


Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now