Systémy automatického dokazování
Systems for automated theorem proving
bachelor thesis (DEFENDED)
View/
Permanent link
http://hdl.handle.net/20.500.11956/28145Identifiers
Study Information System: 62819
Collections
- Kvalifikační práce [11322]
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
General Mathematics
Department
Department of Algebra
Date of defense
18. 9. 2009
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
Czech
Grade
Excellent