Automated Reasoning Image close
Automated Reasoning
Automated Reasoning
Show Hide Adult Content
Automated Reasoning close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Applications  
Artificial intelligence

Automated Reasoning

First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$306.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $76.50 with Afterpay Learn more

6 weekly interest-free payments of $51.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Requirements Engineering: Foundation for Software Quality
$165.00
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Pre-order - out Tuesday
Artificial Intelligence in Music, Sound, Art and Design
$165.00
Artificial Intelligence in Music, Sound, Art and Design
Paperback / softback
Pre-order - out tomorrow
Advances in Knowledge Discovery and Data Mining
$316.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Advances in Knowledge Discovery and Data Mining
$265.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Machine Learning for Cyber Security
$229.00
Machine Learning for Cyber Security
Paperback / softback
Pre-order - out 30 May 2024
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$205.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Constructive Side-Channel Analysis and Secure Design by Romain Wacquez
$140.00
Constructive Side-Channel Analysis and Secure Design
by Romain Wacquez ~ Paperback / softback
Pre-order - out Tuesday
Theory and Applications of Models of Computation
$368.00
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$318.00
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Software Engineering Education
$157.00
Software Engineering Education
Paperback / softback
Available - Usually ships in 3-4 weeks
Dependable Computing - EDCC-1
$304.00
Dependable Computing - EDCC-1
Paperback / softback
Available - Usually ships in 3-4 weeks
Computing in Object-Oriented Parallel Environments
$151.00
Computing in Object-Oriented Parallel Environments
Paperback / softback
Available - Usually ships in 3-4 weeks
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
$151.00
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
Paperback / softback
Available - Usually ships in 3-4 weeks
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries
$321.00
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain...
Paperback / softback
Available - Usually ships in 3-4 weeks
Medical Image Computing and Computer Assisted Intervention – MICCAI 2023 Workshops
$205.00
Medical Image Computing and Computer Assisted Intervention – MICCAI 2...
Paperback / softback
Available - Usually ships in 3-4 weeks
High Performance Computing
$303.00
High Performance Computing
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the First International Joint Conference on Automated Reasoning, IJCAR 2001, held in Siena, Italy, in June 2001. The 37 research papers and 19 system descriptions presented together with three invited contributions were carefully reviewed and selected from a total of 112 submissions. The book offers topical sections on description, modal, and temporal logics; saturation based theorem proving, applications, and data structures; logic programming and nonmonotonic reasoning; propositional satisfiability and quantified Boolean logic; logical frameworks, higher-order logic, and interactive theorem proving; equational theorem proving and term rewriting; tableau, sequent, and natural deduction calculi and proof theory; automata, specification, verification, and logics of programs; and nonclassical logics.
Release date NZ
June 6th, 2001
Audience
  • Professional & Vocational
Contributors
  • Edited by Alexander Leitsch
  • Edited by Rajeev Gore
  • Edited by Tobias Nipkow
Illustrations
XIII, 712 p.
Pages
712
Dimensions
156x234x36
ISBN-13
9783540422549
Product ID
2809206

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence