Original title:
Implicitní výrokové důkazy
Translated title:
Implicit propositional proofs
Authors:
Šanda, Pavel ; Krajíček, Jan (advisor) ; Mlček, Josef (referee) Document type: Master’s theses
Year:
2006
Language:
eng
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/4745