Automated reasoning with analytic tableaux and related methods international conference, July 30 - August 1, 2002; proceedings. [electronic resource]

Contributor(s): Egly, Uwe, 1960- | Fermüller, Christian G, 1963- | International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (2002; Denmark, Copenhagen)
Publisher: Berlin [u.a.] : Springer, 2002ISBN: 3540439293DDC classification: 006.333 Online resources: Click here to access online | ZZ | Zentralblatt MATH 01
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
Book Book Library
Computer Science History Available
Total holds: 0

There are no comments for this item.

to post a comment.

Powered by Koha