Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
Κύριος συγγραφέας: | Γριβοκωστοπούλου, Φωτεινή |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής (Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών, Πολυτεχνική Σχολή, Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής) |
Μορφή: | Βιβλίο |
Γλώσσα: | Greek |
Έκδοση: |
Πάτρα
[χ.ό.]
2009
|
Θέματα: | |
Διαθέσιμο Online: | http://nemertes.lis.upatras.gr/jspui/handle/10889/2703 |
Παρόμοια τεκμήρια
-
Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P
ανά: Κεραμύδας, Ελευθέριος
Έκδοση: (2004) -
Logical frameworks /
Έκδοση: (1991) -
Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
ανά: Γριβοκωστοπούλου, Φωτεινή
Έκδοση: (2010) -
Gems of theoretical computer science /
ανά: Schöning, Uwe, 1955-
Έκδοση: (1998) -
A proof theory for general unification /
ανά: Snyder, Wayne, 1955-
Έκδοση: (1991)