Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
Τα «Συστήματα Αυτόματης Απόδειξης Θεωρημάτων-ΣΑΑΘ» (Automatic Theorem Proving Systems-ATP Systems) είναι συστήματα βασισμένα στη λογική πρώτης τάξεως, τα οποία μπορούν από ένα σύνολο λογικών προτάσεων να συνάγουν την αλήθεια μιας δεδομένης λογικής πρότασης με αυτόματο τρόπο. Η διαδικασία της απόδειξ...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | Greek |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://nemertes.lis.upatras.gr/jspui/handle/10889/2703 |
