Imagen de Google Jackets

Theorem proving with analytic tableaux and related methods / ed. Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi.

Por: Colaborador(es): Series Lecture notes in computer science ; v. 1071 | Lecture notes in computer science. Lecture notes in artificial intelligenceDetalles de publicación: Berlin : Springer, 1996.Descripción: x, 329 p. : il. ; 24 cmISBN:
  • 3540612084
Tema(s):
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
Existencias
Tipo de ítem Biblioteca actual Signatura Estado Fecha de vencimiento Código de barras Reserva de ítems
Libro Libro FaMAF Sección Lecture Notes C LNAI v. 1071 Disponible 15524
Total de reservas: 0


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)