Logical environments

Bibliographic Details
Corporate Author:	ESPRIT Basic Research Action 3245 "Logical Frameworks: Design, Implementation and Experiment." (-)
Other Authors:	Huet, Gérard (-), Plotkin, G. (Gordon), 1946-
Format:	Book
Language:	Inglés
Published:	Cambridge ; New York, NY : Cambridge University Press 1993
Edition:	1st. ed
Subjects:	Inteligencia artificial Lógica matemática > Congresos, conferencias, etc. Teoremas > Demostración automática > Congresos, conferencias, etc.
See on 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

Description
Item Description:	"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.
Physical Description:	XIII, 338 p. : il. ; 24 cm
Bibliography:	Bibliografía
ISBN:	9780521433129

Similar Items