|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, Tableaux 2013, Nancy, France, September 16-19, 2013, Pr 2013 Edition | Galmiche, Didier | Paperback | 3642405363 / 9783642405365 | 08/2013 | $47.49 |
| | Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceed 1997 Edition (Lecture Notes in Mathematics) | Galmiche, Didier | Paperback | 3540629203 / 9783540629207 | 04/1997 | $52.24 |
|
|
|