Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Congreso International Conference on Automated Deduction (CADE-13) (13th : 1996 : New Brunswick, New Jersey)

Título Automated deduction -- CADE 13 : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, july/august 1996 : proceedings / M.A. McRobbie, J.K. Slaney (Eds.)

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