Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)
Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)
| Titles |
|
|---|---|
| Country/Territory | United States |
Journal: Book series
ID: 53921533