Použitie programu JAPE k dôkazu formúl výrokovej a predikátovej logiky

Salvato in:

Dettagli Bibliografici
Autore principale:	Lulčo, Michal, 1985- (Autore)
Altri autori:	Kvasnička, Vladimír, 1941- (Relatore della tesi)
Natura:	Manoscritto Libro
Lingua:	slovacco
Pubblicazione:	STU v Bratislave FIIT, 2008
Soggetti:	informatika
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

View in STU Opac

MARC


LEADER	00000ntm a22000003a 4500
001	stu167013
005	20180423101730.9
008	080721s2008----xo------------------slo-d
040			\|a STU \|b slo
041	0		\|a slo
044			\|a xo
100	1		\|a Lulčo, Michal, \|d 1985- \|4 aut \|u I300 \|U FIIT Fakulta informatiky a informačných technológií \|T FIIT Ústav aplikovanej informatiky \|X 17079 \|U I300 \|Y 180 \|7 A000017079
245	1		\|a Použitie programu JAPE k dôkazu formúl výrokovej a predikátovej logiky
260			\|b STU v Bratislave FIIT, \|c 2008
300			\|a 38 s \|c príl.
650		7	\|a informatika \|2 stusub
700	1		\|a Kvasnička, Vladimír, \|d 1941- \|4 ths \|u I300 \|U FIIT Fakulta informatiky a informačných technológií \|T FIIT Ústav aplikovanej informatiky \|X 1789 \|U I300 \|Y 180 \|7 A000001789
996			\|c I*BAP95/08 \|l II680 \|s P \|a 0 \|w stu167013_0001