9783540644064 - automated reasoning with analytic tableaux and related methods: international conference, tableaux'98, oisterwijk, the netherlands, may 5-8, 1998 : proceedings: 1397 di tableaux'9 (1998 oisterwijk, netherlands); de swart, harrie (1 risultati)

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