Algoritmy pro jazyk výrokové logiky
Algorithms for propositional logic
| dc.contributor.advisor | Starý Jan | |
| dc.contributor.author | Šmíd Ondřej | |
| dc.date.accessioned | 2014-06-27T12:26:38Z | |
| dc.date.available | 2014-06-27T12:26:38Z | |
| dc.date.issued | 2014-06-27 | |
| dc.date.submitted | 2014-06-27 13:03:27.0 | |
| dc.identifier | KOS-534496662805 | |
| dc.identifier.uri | http://hdl.handle.net/10467/24519 | |
| dc.publisher | České vysoké učení technické v Praze. Vypočetní a informační centrum. | cze |
| dc.rights | A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one’s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdf | eng |
| dc.rights | Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdf | cze |
| dc.title | Algoritmy pro jazyk výrokové logiky | |
| dc.title | Algorithms for propositional logic | eng |
| dc.type | bakalářská práce | cze |
| dc.date.updated | 2014-06-27T12:26:38Z | |
| dc.date.accepted | 2014-06-18 08:45:00.0 | |
| dc.contributor.referee | Trlifajová Kateřina | |
| dc.description.department | katedra softwarového inženýrství | cze |
| theses.degree.name | Bc. | cze |
| theses.degree.discipline | Softwarové inženýrství (bakalářský) | cze |
| theses.degree.grantor | Fakulta informačních technologií | cze |
| theses.degree.programme | Informatika pro bakalářské studenty | cze |
| evskp.contact | ČVUT | cze |
Soubory tohoto záznamu
Tento záznam se objevuje v následujících kolekcích
-
Bakalářské práce - 18102 [1608]