Systém pro logickou dedukci

dc.contributor.advisor	Duží, Marie
dc.contributor.author	Krchňák, Jan
dc.date.accessioned	2006-09-21T08:02:17Z
dc.date.available	2006-09-21T08:02:17Z
dc.date.issued	2006
dc.description	Import 21/09/2006
dc.description.category	Prezenční	en
dc.description.department	456 - Katedra informatiky	en
dc.format	46 l. : il. + 1 CD-R	en
dc.identifier.location	ÚK/Sklad diplomových prací	en
dc.identifier.other	OSD002
dc.identifier.signature	200600228	en
dc.identifier.uri	http://hdl.handle.net/10084/56319
dc.language.iso	cs	en
dc.publisher	Vysoká škola báňská - Technická univerzita Ostrava	cs
dc.subject	predikátová logika prvního řádu	en
dc.subject	obecná rezoluční metoda	en
dc.subject	přirozená dedukce	en
dc.subject	Robinsonův unifikační algoritmus	en
dc.subject	Scolemova normální forma	en
dc.subject	prenexní tvar	en
dc.subject	automatické odvozování logických důsledků	en
dc.subject	matematická logika	en
dc.thesis.degree-branch	Inženýrská informatika	en
dc.thesis.degree-grantor	Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky	en
dc.thesis.degree-level	Magisterský	en
dc.thesis.degree-name	Ing.	en
dc.thesis.degree-program	Neuvedeno	en
dc.title	Systém pro logickou dedukci	en
dc.type	Diplomová práce	en

Files

Now showing 1 - 1 out of 1 results