Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Felty, Amy (VerfasserIn)
Körperschaft: LFMTP '14: Theory and Practice (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: New York,NY,United States Association for Computing Machinery 2014
Schriftenreihe:ACM Other conferences
Online-Zugang:UBM01
Volltext
Beschreibung:1 Online-Ressource (57 Seiten)
ISBN:9781450328173

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen