Implicit propositional proofs
Implicitní výrokové důkazy
diplomová práce (OBHÁJENO)
Zobrazit/
Trvalý odkaz
http://hdl.handle.net/20.500.11956/4745Identifikátory
SIS: 42139
Kolekce
- Kvalifikační práce [11216]
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Teoretická informatika
Katedra / ústav / klinika
Katedra aplikované matematiky
Datum obhajoby
22. 5. 2006
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Výborně