Isbn: 9783540644064 - Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'98, Oisterwijk, the Netherlands, May 5-8, 1998 : ... / Lecture Notes in Artificial Intelligence) (1 results)

Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.