Důkazové metody predikátové logiky 1. řádu

Show simple item record
dc.contributor.advisorMenšík, Marek
dc.contributor.authorZátopek, Vít
dc.contributor.refereeČíhalová, Martina
dc.date.accessioned2008-10-23T08:56:27Z
dc.date.available2008-10-23T08:56:27Z
dc.date.issued2008
dc.descriptionImport 23/10/2008
dc.description.categoryPrezenčníen
dc.description.department456 - Katedra informatikyen
dc.description.resultNeuvedenoen
dc.format40 l. : il. + 1 CD-Ren
dc.identifier.locationÚK/Sklad diplomových pracíen
dc.identifier.otherOSD002
dc.identifier.signature200803307en
dc.identifier.urihttp://hdl.handle.net/10084/68406
dc.language.isocsen
dc.publisherVysoká škola báňská - Technická univerzita Ostravacs
dc.thesis.degree-branchInformatika a výpočetní technikaen
dc.thesis.degree-grantorVysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatikyen
dc.thesis.degree-levelBakalářskýen
dc.thesis.degree-nameBc.en
dc.thesis.degree-programNeuvedenoen
dc.titleDůkazové metody predikátové logiky 1. řáduen
dc.typeBakalářská práceen

Files

License bundle

Now showing 1 - 1 out of 1 results
Thumbnail Image
Name:
license.txt
Size:
1.79 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Vysokoškolské kvalifikační práce Fakulty elektrotechniky a informatiky / Theses and dissertations of Faculty of Electrical Engineering and Computer Science (FEI)