Proceedings of the 2003 ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding

Proceedings of the 2003 ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding

Detalles Bibliográficos
Autor principal: ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (-)
Autores Corporativos: ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding Corporate Author (corporate author), Association for Computing Machinery Content Provider (content provider)
Formato: Libro electrónico
Idioma:Inglés
Publicado: [Place of publication not identified] ACM 2003
Colección:ACM Conferences
Materias:
Engineering & Applied Sciences
Computer Science
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713612006719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (97 pages)

Ejemplares similares