MERLIN '05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia /

Uloženo v:
Podrobná bibliografie
Korporativní autor: ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding Tallinn, Estonsko) (Autor)
Další autoři: Momigliano, Alberto (Editor), Pollack, R. (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: New York, NY : Association for Computing Machinery, c2005
Obálka
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky K1003.05 4200511767