Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Automated reasoning with analytic tableaux and related methods : proceedings / International Conference...; ed. Harrie De Swart

Corporate Author (Main) International Conference on Analytic Tableaux and Related Methods, Oisterwijk, 1998 Secondary Author De Swart, Harrie Country Alemanha. Publication Berlin : Springer, cop. 1998 Description X, 324 p. : il. ; 24 cm Series Lecture Notes in Computer Science.. Lecture Notes in Artificial Intelligence , 1397) ISBN 3-540-64406-7 CDU 519.6 681.3
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 109361 Available 252230
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.