|
|
|
|
LEADER |
02074nam a2200301 u 4500 |
001 |
10084602 |
003 |
upatras |
005 |
20210117202501.0 |
008 |
100427s2009 gr gre |
040 |
|
|
|a GR-PaULI
|c GR-PaULI
|
041 |
0 |
|
|a gre
|
082 |
0 |
4 |
|a 511.3
|
100 |
1 |
|
|a Γριβοκωστοπούλου, Φωτεινή
|9 86549
|
245 |
1 |
0 |
|a Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
|c Γριβοκοκωστοπούλου Φωτεινής; Πανεπιστήμιο Πατρών, Τμήμα Μαθηματικού
|c ; Πανεπιστήμιο Πατρών, Τμήμα Μηχανικών Η/Υ & Πληροφορικής
|
260 |
|
|
|a Πάτρα
|b [χ.ό.]
|c 2009
|
300 |
|
|
|a 147 σ.
|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 Τμήμα Μαθηματικών
|
710 |
2 |
|
|9 2771
|a Πανεπιστήμιο Πατρών
|b Σχολή Επιστημών Υγείας
|b Τμήμα Ιατρικής
|e Πολυτεχνική Σχολή
|e Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής
|
852 |
|
|
|a GR-PaULI
|b ΠΑΤΡΑ
|b ΒΚΠ
|b ΑΝΕ
|k ΔΙΠΛΩΜΑΤΙΚΗ
|h 511.3 ΓΡΙ
|m 100695
|p 025000182657
|t 1
|
856 |
|
|
|u http://nemertes.lis.upatras.gr/jspui/handle/10889/2703
|
942 |
|
|
|2 ddc
|c BKTD
|
952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 511_300000000000000_ΓΡΙ
|7 0
|9 90152
|a LISP
|b LISP
|d 2016-04-24
|i 100695
|l 0
|o 511.3 ΓΡΙ
|p 025000182657
|r 2016-04-24 00:00:00
|t 1
|w 2016-04-24
|y ERST
|
998 |
|
|
|c ΠΟΛΥΧΡΟΝΙΑΔΟΥ
|d 2010-04
|
999 |
|
|
|c 60370
|d 60370
|