|
|
|
|
| LEADER |
01705nam a2200289 u 4500 |
| 001 |
10086522 |
| 003 |
upatras |
| 005 |
20210117202607.0 |
| 008 |
100818s2004 gr gre |
| 040 |
|
|
|a GR-PaULI
|c GR-PaULI
|
| 041 |
0 |
|
|a gre
|
| 082 |
0 |
4 |
|a 511.3
|
| 100 |
1 |
|
|a Κεραμύδας, Ελευθέριος
|9 89196
|
| 245 |
1 |
0 |
|a Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων
|b περίπτωση ACT-P
|c Κεραμυδάς Ελευθέριος ; Πανεπιστήμιο Πατρών
|
| 260 |
|
|
|a Πάτρα
|b [χ.ό.]
|c 2004
|
| 300 |
|
|
|a ii, 154σ.
|b πιν.
|c 30 εκ.
|
| 500 |
|
|
|a Διατμηματικό Πρόγραμμα Μεταπτυχιακών Σπουδών "Μαθηματικά των Υπολογιστών και των Αποφάσεων"
|
| 504 |
|
|
|a Περιλαμβάνει βιβλιογραφία
|
| 650 |
|
4 |
|a Αυτόματη απόδειξη θεωρημάτων
|9 86550
|
| 650 |
|
4 |
|a Λογική, Συμβολική και μαθηματική
|9 472
|
| 710 |
2 |
|
|9 2771
|a Πανεπιστήμιο Πατρών
|b Σχολή Επιστημών Υγείας
|b Τμήμα Ιατρικής
|e Σχολή Θετικών Επιστημών
|e Τμήμα Μαθηματικών
|
| 852 |
|
|
|a GR-PaULI
|b ΠΑΤΡΑ
|b ΒΚΠ
|b ΑΝΕ
|k ΔΙΠΛΩΜΑΤΙΚΗ
|h 511.3 ΚΕΡ
|m 102794
|p 025000189388
|t 1
|
| 856 |
|
|
|u http://nemertes.lis.upatras.gr/jspui/handle/10889/3585
|
| 942 |
|
|
|2 ddc
|c BKTD
|
| 998 |
|
|
|c ΜΠΟΥΡΑΣ
|d 2010-08
|
| 999 |
|
|
|c 62272
|d 62272
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 511_300000000000000_ΚΕΡ
|7 0
|9 92776
|a LISP
|b LISP
|c RES
|d 2016-04-24
|i 102794
|l 0
|o 511.3 ΚΕΡ
|p 025000189388
|r 2016-04-24
|t 1
|w 2016-04-24
|y BKTD
|
