Implementace důkazových metod výrokové logiky

dc.contributor.advisor	Müller, Jaroslav
dc.contributor.author	Hořejší, Jaroslav
dc.date.accessioned	2007-01-10T07:01:29Z
dc.date.available	2007-01-10T07:01:29Z
dc.date.issued	2006
dc.identifier.other	OSD002
dc.identifier.uri	http://hdl.handle.net/10084/59604
dc.description	Import 10/01/2007
dc.format	21 l. : il. + 1 CD-R	en
dc.language.iso	cs	en
dc.publisher	Vysoká škola báňská - Technická univerzita Ostrava	cs
dc.title	Implementace důkazových metod výrokové logiky	en
dc.type	Bakalářská práce	en
dc.identifier.signature	200700129	en
dc.identifier.location	ÚK/Sklad diplomových prací	en
dc.thesis.degree-name	Bc.	en
dc.thesis.degree-level	Bakalářský	en
dc.thesis.degree-grantor	Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky	en
dc.description.category	Prezenční	en
dc.description.department	456 - Katedra informatiky	en
dc.thesis.degree-program	Neuvedeno	en
dc.thesis.degree-branch	Informatika a výpočetní technika	en

Soubory tohoto záznamu

Soubory	Velikost	Formát	Zobrazit
K tomuto záznamu nejsou připojeny žádné soubory.