Důkazové systémy ve výrokové logice

dc.contributor.advisor	Menšík, Marek
dc.contributor.author	Dorušák, Radek
dc.date.accessioned	2007-01-09T12:25:43Z
dc.date.available	2007-01-09T12:25:43Z
dc.date.issued	2006
dc.description	Import 09/01/2007
dc.description.category	Prezenční	en
dc.description.department	456 - Katedra informatiky	en
dc.format	34 l. : il. + 1 CD-R	en
dc.identifier.location	ÚK/Sklad diplomových prací	en
dc.identifier.other	OSD002
dc.identifier.signature	200700121	en
dc.identifier.uri	http://hdl.handle.net/10084/59596
dc.language.iso	cs	en
dc.publisher	Vysoká škola báňská - Technická univerzita Ostrava	cs
dc.thesis.degree-branch	Informatika a výpočetní technika	en
dc.thesis.degree-grantor	Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky	en
dc.thesis.degree-level	Bakalářský	en
dc.thesis.degree-name	Bc.	en
dc.thesis.degree-program	Neuvedeno	en
dc.title	Důkazové systémy ve výrokové logice	en
dc.type	Bakalářská práce	en

Files

Now showing 1 - 1 out of 1 results