Isbn: 9783540644064 - automated reasoning with analytic tableaux and related methods: international conference, tableaux'98, oisterwijk, the netherlands, may 5-8, 1998, ... notes in computer science, 1397, band 1397) (1 Ergebnisse)

Zustand: 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.