Series |
ACM Digital Library
|
Access |
License restrictions may limit access. |
Summary |
Annotation 4th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice Aug 02, 2009-Aug 02, 2009 Montreal, Canada. You can view more information about this proceeding and all of ACMs other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl. |
Audience |
Scholarly & Professional Association for Computing Machinery |
Added Author |
Cheney,James Editor Editor.
|
|
ACM Digital Library
|
ISBN |
9781605585291 |
|
1605585297 (Trade Cloth) USD 99.00 Retail Price (Publisher) Active Record |
OCLC # |
sseb_ssj0000812450 |
|