Sign In

My Library

Limit search to available items
Book Cover
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:
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
View Shelf for Similar Items