Theorem proving in higher order logics : 21th International Conference, TPHOLs 2008 : Montreal, Canada, August 18-21, 2008 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: TPHOLs 2008 (Montréal, Québec) (Autor)
Další autoři: Ait Mohamed, Otmane (Editor), Muñoz, César (Editor), Tahar, Sofiène (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2008
Edice:Lecture notes in computer science ; 5170
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 K43.08 4200514482