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

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lulčo, Michal, 1985- (Verfasst von)
Weitere Verfasser:	Kvasnička, Vladimír, 1941- (Betreuung Doktorarbeit)
Format:	Manuskript Buch
Sprache:	Slowakisch
Veröffentlicht:	STU v Bratislave FIIT, 2008
Schlagworte:	informatika
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!

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