Image from Amazon.com
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings / edited by Nicola Olivetti.
Series: Lecture Notes in Computer Science ; 4548Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.Description: x, 244 p. : ill., digital ; 24 cmISBN:- 9783540730996 (electronic bk.)
- 006.333 22
- QA76.9.A96 T33 2007
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.