LFMTP 2014 : proceedings of the ninth International Workshop on Logical Frameworks and Meta-Languages : Theory and Practice : July 17, 2014, Vienna, Austria

Detalles Bibliográficos
Autor principal:	Felty, Amy (-)
Autores Corporativos:	International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Corporate Author (corporate author), International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (-), Association for Computing Machinery-Digital Library
Otros Autores:	Felty, Amy Contributor (contributor), Pientka, Brigitte Contributor
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	[Place of publication not identified] ACM 2014
Colección:	ACM international conference proceedings series.
Materias:	Engineering & Applied Sciences Computer Science
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713594106719

Descripción
Notas:	Bibliographic Level Mode of Issuance: Monograph
Descripción Física:	1 online resource (57 pages)

Ejemplares similares