Logical frameworks

Detalles Bibliográficos
Otros Autores:	Huet, Gérard (-), Plotkin, G. (Gordon), 1946-
Formato:	Libro
Idioma:	Inglés
Publicado:	Cambridge ; New York : Cambridge University Press 1991
Edición:	1st. ed
Materias:	Lógica matemática > Congresos, conferencias, etc. Teoremas > Demostración automática > Congresos, conferencias, etc.
Ver en Universidad de Navarra:	https://unika.unav.edu/discovery/fulldisplay?docid=alma991010889379708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es

Ejemplares similares