Implicit propositional proofs
Thesis title in Czech: | Implicitní výrokové důkazy |
---|---|
Thesis title in English: | Implicit propositional proofs |
Academic year of topic announcement: | 2004/2005 |
Thesis type: | diploma thesis |
Thesis language: | angličtina |
Department: | Department of Applied Mathematics (32-KAM) |
Supervisor: | prof. RNDr. Jan Krajíček, DrSc. |
Author: | hidden - assigned and confirmed by the Study Dept. |
Date of registration: | 05.11.2004 |
Date of assignment: | 05.11.2004 |
Date and time of defence: | 22.05.2006 00:00 |
Date of electronic submission: | 22.05.2006 |
Date of proceeded defence: | 22.05.2006 |
Opponents: | doc. RNDr. Josef Mlček, CSc. |