Logic for computer science : foundations of automatic theorem proving

Infoteca

Guardado en:
Detalles Bibliográficos
Autor: Gallier, Jean H. aut autor
Publicado: New York, NY : Wiley, c1987
Tipo:TEXTO
Idioma:inglés
Temas:
Acceso en línea:https://catalogo.exactas.uba.ar/cgi-bin/koha/opac-detail.pl?biblionumber=38073
Biblioteca:Facultad de Ciencias Exactas y Naturales
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares