|
|
|
|
| LEADER |
01655nam a2200301 u 4500 |
| 001 |
10043418 |
| 003 |
upatras |
| 005 |
20240529141409.0 |
| 008 |
020313s2001 gr gre |
| 040 |
|
|
|a GR-PaULI
|c GR-PaULI
|
| 041 |
0 |
|
|a gre
|
| 082 |
0 |
4 |
|a 511.3
|
| 100 |
1 |
|
|a Στεφανέας, Πέτρος Σ.
|9 33393
|
| 245 |
1 |
0 |
|a Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών
|c Πέτρου Σ. Στεφανέα; Εθνικό Μετσόβειο Πολυτεχνείο
|
| 260 |
|
|
|a Αθήνα
|b [χ.ό.]
|c 2001
|
| 300 |
|
|
|a 155 σ.
|b σχήμ., πίν.
|c 30 εκ.
|
| 500 |
|
|
|a Διδακτορική διατριβή
|
| 504 |
|
|
|a Περιλαμβάνει βιβλιογραφία
|
| 650 |
|
4 |
|a Λογική, Συμβολική και μαθηματική
|9 472
|
| 650 |
|
4 |
|a Ηλεκτρονικοί υπολογιστές
|x Γλώσσες προγραμματισμού
|9 263
|
| 650 |
|
4 |
|a Μαθηματικά
|x Πληροφορική
|9 195
|
| 710 |
2 |
|
|a Εθνικό Μετσόβιο Πολυτεχνείο
|e Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών
|e Τομέας Μαθηματικών
|9 3159
|
| 852 |
|
|
|a GR-PaULI
|b ΠΑΤΡΑ
|b ΒΚΠ
|b ΑΝΕ
|k ΔΙΑΤΡΙΒΗ
|h 511.3 ΣΤΕ
|m 068462
|p 025000106599
|t 1
|
| 942 |
|
|
|2 ddc
|c BKTD
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 511_300000000000000_ΣΤΕ
|7 0
|9 31846
|a LISP
|b LISP
|c RES
|d 2016-04-24
|i 068462
|l 0
|o 511.3 ΣΤΕ
|p 025000106599
|r 2016-04-24 00:00:00
|t 1
|w 2016-04-24
|y BKTD
|
| 998 |
|
|
|c ΠΑΝΑΓΟΠΟΥΛΟΥ
|d 2002-03
|
| 998 |
|
|
|c ΒΑΣΙΛΕΙΟΥ
|d 2002-03
|
| 999 |
|
|
|c 20361
|d 20361
|
