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

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: $99.00
Used  Currently Sold Out
New  Currently Sold Out
Rental $72.99
Due back 05/29/2015
Rental
Save $26.01 (26%)
  • Free return shipping
  • In stock
  • 21-day satisfaction guarantee
CDs or access codes may not be included
Marketplace sellers starting at $1.99

16 more offers 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

Filter by:   All (16)  |  New (11)  |  Very Good (3)  |  Good (2)

Price
 
Condition
Seller
Comments
$81.10
+$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!
$92.16
+$3.99 s/h
Add marketplace to your cart
New
PaperbackshopUS
Secaucus, NJ
Seller Rating: 4.48
New Book. Shipped from US within 4 to 14 business days. Established seller since 2000
$94.69
+$3.99 s/h
Add marketplace to your cart
New
EuroBooks
Horcott Rd, Fairford,
Seller Rating: 4.41
New Book. Shipped from UK within 4 to 14 business days. Established seller since 2000.
$119.37
+$3.99 s/h
Add marketplace to your cart
VeryGood
Herb Tandree Philosophy Books
Stroud, Glos,
Seller Rating: 4.43
1999 Paperback NEAR FINE Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. *****PLEASE NOTE: This item is shipping from a ...show moren authorized seller in Europe. In the event that a return is necessary, you will be able to return your item within the US. To learn more about our European sellers and policies see the BookQuest FAQ section***** ...show less
Page:   < Previous   |     1     2  
Close
Close
Close