Implicit propositional proofs
Implicitní výrokové důkazy
diploma thesis (DEFENDED)
View/
Permanent link
http://hdl.handle.net/20.500.11956/4745Identifiers
Study Information System: 42139
Collections
- Kvalifikační práce [11216]
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Theoretical computer science
Department
Department of Applied Mathematics
Date of defense
22. 5. 2006
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
English
Grade
Excellent