|
|
|
|
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
|