On a Resolutiion Theorem for Maximal Models C.T.I Technical Report TR 98.2.4

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Καββαδίας, Δημήτρης (Συγγραφέας), Σταυρόπουλος, Ηλίας Χ. (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Patras Greece Computer Technology Institute February 1998
Θέματα:
LEADER 00885nam a22002293u 4500
001 10104948
003 upatras
005 20240529141926.0
008 991022s eng
040 |a Βιβλιοθήκη ΕΑΙΤΥ  |c Βιβλιοθήκη ΕΑΙΤΥ 
041 0 |a eng 
245 1 0 |a On a Resolutiion Theorem for Maximal Models C.T.I Technical Report TR 98.2.4 
260 |a Patras  |a Greece  |b Computer Technology Institute  |c February 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 123239 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |t 1 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 135964  |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 89024  |d 89024