Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Congreso TABLEAUX'95 (4th : 1995 : Schloss Rheinfels, Germany)

Título Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995, proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)

Publicación Berlin : Springer, cop. 1995
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNAI 918    PRÉSTAMO LARGO  DISPONIBLE