Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice

Opis bibliograficzny
Format: Elektroniczne E-book
Język:angielski
Wydane: Association for Computing Machinery (ACM), 9/9/12
Hasła przedmiotowe:
Dostęp online:Full text available on Research4Life (ACM)

Podobne zapisy