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

Language: English

Published by Oxford University Press, Oxford, 1994

0198537468 / 9780198537465

  • Hardcover
  • New
See all details

Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller

5-star seller

AbeBooks seller since June 22, 2007

Hardcover

Condition: New

£ 440.60

£ 27.91 shipping 
Ships from Australia to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

Hardcover. Logic is now widely recognized to be one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intelligence. There is a growing need for an in-depth survey of the applications of logic in Al and computer science. The Handbook of Logic in Articial Intelligence and Logic Programming and its companion, the Handbook of Logic inComputer Science, have been created in response to this need. We see the creation of the Handbook as a combination of authoritative exposition, comprehensive survey, and fundamental research exploring theunderlying themes in the various areas. The intended audience is graduate students and researchers in the areas of A1 and logic, as well as other people interested in the subject. We assume as background some mathematical sophistication. Much of the material will be of interest to logicians and mathematicians. The tables of contents of the volumes were finalized after extensive discussions between handbook authors and second readers. The first volumes present the logical foundations anddeduction methodologies extensively used in AI. Volumes 3 and 4 cover reasoning, and Volume 5 details logic programming. The chapters, which in many cases are of monograph length and scope, emphasize possibleunifying themes. They are written by internationally renowned researchers in the respective areas. The chapters are co-ordinated and their contents have been reviewed in joint meetings. A volume in the six book series covering all major areas of application of logic to AI and logic programming. Volume 2 covers deduction methodologies. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Seller Inventory # 9780198537465

Title
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies (Hardcover)
Author
Dov M. Gabbay
Publisher
Oxford University Press, Oxford
Publication year
1994
Condition
new
Binding
Hardcover
Language
English
ISBN 10
0198537468
ISBN 13
9780198537465

AussieBookSeller

Truganina, VIC, Australia

5-star seller

AbeBooks seller since June 22, 2007

Shipping rates from Australia to U.S.A.

Item25 to 45 business days8 to 14 business days
First item£ 27.91£ 33.19
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Seller's business information

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australia 3029