|
|
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 |
|
|
|