Unification modulo associativity and idempotency

Uloženo v:
Podrobná bibliografie
Hlavní autor: Klíma, Ondřej, 1974- (Autor práce)
Další autoři: Polák, Libor, 1950-2020 (Vedoucí práce)
Typ dokumentu: VŠ práce nebo rukopis
Jazyk:Angličtina
Vydáno: 2003.
Témata:
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é
Prezenční
Přírodovědecká fakulta ÚK volný výběr K-M-2003-KLÍM Vyžádejte u knihovníka studovny matematiky a fyziky.
3145326097