On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Καββαδίας, Δημήτρης (Συγγραφέας), Σιδέρη, Μάρθα (Συγγραφέας), Σταυρόπουλος, Ηλίας Χ. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	Greek
Έκδοση:	Patras Greece Computer Technology Institute 1998
Θέματα:	CTI TR 1998 TECHNICAL REPORT ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ


LEADER	00927nam a22002413u 4500
001	10104959
003	upatras
005	20240529141926.0
008	991022s1998 gre
040			\|a Βιβλιοθήκη ΕΑΙΤΥ \|c Βιβλιοθήκη ΕΑΙΤΥ
041	0		\|a gre
245	1	0	\|a On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17
260			\|a Patras \|a Greece \|b Computer Technology Institute \|c 1998
650		4	\|a CTI TR 1998 \|9 122831
650		4	\|a TECHNICAL REPORT \|9 117806
650		4	\|a ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ \|9 117807
700	1		\|a Καββαδίας, Δημήτρης \|4 aut \|9 117587
700	1		\|a Σιδέρη, Μάρθα \|4 aut \|9 101354
700	1		\|a Σταυρόπουλος, Ηλίας Χ. \|4 aut \|9 123239
852			\|a GR-PaULI \|b ΠΑΤΡΑ \|b ΤΜΗΥΠ \|t 1
942			\|2 ddc
952			\|0 0 \|1 0 \|4 0 \|7 0 \|9 135994 \|a CEID \|b CEID \|d 2016-04-24 \|l 0 \|r 2016-04-24 00:00:00 \|t 1 \|w 2016-04-24
999			\|c 89046 \|d 89046

Παρόμοια τεκμήρια