Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants

Detalles Bibliográficos
Autor principal:	Rabe, Florian (-)
Autor Corporativo:	Association for Computing Machinery-Digital Library (-)
Otros Autores:	Rabe,Florian Contributor (contributor)
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	[Place of publication not identified] : Association for Computing Machinery 2009.
Colección:	ACM Other conferences.
Materias:	Information Technology > Computer Science (Hardware & Networks)
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713677706719

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

Ejemplares similares