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

Bibliographic Details
Main Author: ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (corporate author, -)
Corporate Authors: ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding Corporate Author (corporate author), Association for Computing Machinery Content Provider (content provider)
Format: eBook
Language:Inglés
Published: [Place of publication not identified] ACM 2003
Series:ACM Conferences
Subjects:
Engineering & Applied Sciences
Computer Science
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713612006719
Description
Item Description:Bibliographic Level Mode of Issuance: Monograph
Physical Description:1 online resource (97 pages)

Similar Items