Skip to content

Biblio logo: Used, Rare and Collectible Books for Sale

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 ... / Lecture Notes in Artificial Intelligence) by Didier Galmiche - 1997

Note: Cover may not represent actual copy or condition available

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 ... / Lecture Notes in Artificial Intelligence)

by Didier Galmiche

Book condition: As New

Book Description

Springer, 1997 372 Pages.

We have 4 copies available starting at $12.32

No cover image available
Springer, 1997-05-29. 1997. Paperback. Used:Good.

Item Price
$12.32
No cover image available
Springer, 1997-05-29. Paperback. Good.

Item Price
$16.62
No cover image available
2008-06-13. Good. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be re-issue. May be ex-library. Shipping & Handling by region. Buy with confidence, excellent customer service!

Item Price
$85.21
No cover image available
2008-06-13. New. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May be re-issue. Buy with confidence, excellent customer service!

Item Price
$105.38