Implicit propositional proofs

Šanda, Pavel

Implicitní výrokové důkazy

dc.contributor.advisor	Krajíček, Jan
dc.creator	Šanda, Pavel
dc.date.accessioned	2017-03-27T12:59:17Z
dc.date.available	2017-03-27T12:59:17Z
dc.date.issued	2006
dc.identifier.uri	http://hdl.handle.net/20.500.11956/4745
dc.language	English	cs_CZ
dc.language.iso	en_US
dc.publisher	Univerzita Karlova, Matematicko-fyzikální fakulta	cs_CZ
dc.title	Implicit propositional proofs	en_US
dc.type	diplomová práce	cs_CZ
dcterms.created	2006
dcterms.dateAccepted	2006-05-22
dc.description.department	Katedra aplikované matematiky	cs_CZ
dc.description.department	Department of Applied Mathematics	en_US
dc.description.faculty	Matematicko-fyzikální fakulta	cs_CZ
dc.description.faculty	Faculty of Mathematics and Physics	en_US
dc.identifier.repId	42139
dc.title.translated	Implicitní výrokové důkazy	cs_CZ
dc.contributor.referee	Mlček, Josef
dc.identifier.aleph	000840513
thesis.degree.name	Mgr.
thesis.degree.level	magisterské	cs_CZ
thesis.degree.discipline	Theoretical computer science	en_US
thesis.degree.discipline	Teoretická informatika	cs_CZ
thesis.degree.program	Informatics	en_US
thesis.degree.program	Informatika	cs_CZ
uk.thesis.type	diplomová práce	cs_CZ
uk.taxonomy.organization-cs	Matematicko-fyzikální fakulta::Katedra aplikované matematiky	cs_CZ
uk.taxonomy.organization-en	Faculty of Mathematics and Physics::Department of Applied Mathematics	en_US
uk.faculty-name.cs	Matematicko-fyzikální fakulta	cs_CZ
uk.faculty-name.en	Faculty of Mathematics and Physics	en_US
uk.faculty-abbr.cs	MFF	cs_CZ
uk.degree-discipline.cs	Teoretická informatika	cs_CZ
uk.degree-discipline.en	Theoretical computer science	en_US
uk.degree-program.cs	Informatika	cs_CZ
uk.degree-program.en	Informatics	en_US
thesis.grade.cs	Výborně	cs_CZ
thesis.grade.en	Excellent	en_US
uk.file-availability	V
uk.publication.place	Praha	cs_CZ
uk.grantor	Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra aplikované matematiky	cs_CZ
dc.identifier.lisID	990008405130106986