Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Γριβοκωστοπούλου, Φωτεινή
Συγγραφή απο Οργανισμό/Αρχή: Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής (Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών, Πολυτεχνική Σχολή, Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής)
Μορφή: Βιβλίο
Γλώσσα:Greek
Έκδοση: Πάτρα [χ.ό.] 2009
Θέματα:
Διαθέσιμο Online:http://nemertes.lis.upatras.gr/jspui/handle/10889/2703
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