Adapting proof-as-programs : the Curry-Howard protocol /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Poernomo, Iman Hafiz, 1976- (Autor), Crossley, John N., 1937- (Autor), Wirsing, Martin, 1948- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: New York : Springer, c2005
Edice:Monographs in computer science
Témata:
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 L342 4200511100