Buy Textbooks  |  Rent Textbooks  |  Sell Textbooks  |  eTextbooks
Help  |  Questions? 1-877-292-6442
Hello, Sign In
Your Account
0

Automated Reasoning with Analytic Tableaux and Related Methods - 1 edition

by Neil V. Murray

Automated Reasoning with Analytic Tableaux and Related Methods (ISBN10: 3540660860; ISBN13: 9783540660866)
ISBN13: 978-3540660866
ISBN10: 3540660860

Summary: This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'99, held in Saratoga Springs, NY, USA, in June 1999.The volume presents 18 revised full papers and three system descriptions selected from 41 submissions. Also included are system comparisons and abstracts of an invited paper and of two tutorials. All current issues surrounding mechanization of reasoning with tableaux and similar methods are addressed - ranging from t ...show moreheoretical foundations to implementation and systems development and applications, as well as covering a broad variety of logic calculi. As application areas, formal verification of software and computer systems, deductive databases, knowledge representation, and systems diagnosis are covered. ...show less

Edition/Copyright: 1
Cover: Paperback
Publisher: Springer-Verlag New York, LLC
Published: 06/22/1999
International: No



List Price: $89.99
Used  Currently Sold Out
New  Currently Sold Out
Rental $64.49
Due back 08/01/2014
Rental
Save $25.50 (28%)
  • Free return shipping
  • In stock
  • 21-day satisfaction guarantee
CDs or access codes may not be included
Marketplace sellers starting at $10.08

More prices and sellers below.

The Marketplace on Textbooks.com
Additional Sellers for Automated Reasoning with Analytic Tableaux and Related Methods
Just for you, we curate a growing list of independent booksellers, giving you even MORE choices when shopping for your textbooks.
Keep in mind: Marketplace orders do NOT qualify for free shipping. More about the MarketplaceMore about the Marketplace
$95.46
+$3.99 s/h
Add marketplace to your cart
New
Barnes & Noble.com
Various Shipping Locations, USA
Seller Rating: 5
Brand new, ships from the closest shipping location to your shipping address!
Close
Close
Close