Handbook of practical logic and automated reasoning /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Harrison, John, 1966- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, [2009]
Vydání:First published
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.

Filozofická fakulta

Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Filozofická fakulta volný výběr 16-HARR1-1 Dotisk, 2011
2572003200

Fakulta informatiky

Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky L106 4200515645