Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO

Título Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings / Jeffrey J. Joyce, Carl-Johan H. Seger (Eds.)

Publicación Berlin ; New York : Springer, cop. 1994
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 780    PRÉSTAMO LARGO  DISPONIBLE