Start Over Save to list Export MARC Display MelCat
     
book jacket
Title Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages [electronic resource]: Theory and Practice
Publication Info. New York : Association for Computing Machinery Aug. 2009
Location Call No. Status Notes
 Libraries Electronic Books  ELECTRONIC BOOK-ACM Digital Library    AVAIL. ONLINE
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
Permanent url for this catalog record: