Logical environments

Detalles Bibliográficos
Autor Corporativo:	ESPRIT Basic Research Action 3245 "Logical Frameworks: Design, Implementation and Experiment." (-)
Otros Autores:	Huet, Gérard (-), Plotkin, G. (Gordon), 1946-
Formato:	Libro
Idioma:	Inglés
Publicado:	Cambridge ; New York, NY : Cambridge University Press 1993
Edición:	1st. ed
Materias:	Inteligencia artificial 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=alma991010889069708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es

Descripción
Notas:	"A selection of papers presented at the second annual Workshop held under the auspices of the ESPRIT Basic Research Action 3245, 'Logical Frameworks: Design, Implementation and Experiment.' It took place in Edinburgh, Scotland from the 19th to the 24th of May, 1991"--Prol.
Descripción Física:	XIII, 338 p. : il. ; 24 cm
Bibliografía:	Bibliografía
ISBN:	9780521433129

Ejemplares similares