Αποτελέσματα για "Αυτόματη απόδειξη θεωρημάτων" Εμφανίζονται 1 - 12 Αποτελέσματα από 12 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22%CE%91%CF%85%CF%84%CF%8C%CE%BC%CE%B1%CF%84%CE%B7+%CE%B1%CF%80%CF%8C%CE%B4%CE%B5%CE%B9%CE%BE%CE%B7+%CE%B8%CE%B5%CF%89%CF%81%CE%B7%CE%BC%CE%AC%CF%84%CF%89%CE%BD%22&type=Subject&lng=el 12 0 50 Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics Mon, 01 Jan 2018 00:54:50 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10917 https://find.library.upatras.gr/Record/nemertes-10889-10917 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων Fri, 01 Jan 2010 00:54:50 +0200 https://find.library.upatras.gr/Record/nemertes-10889-2703 https://find.library.upatras.gr/Record/nemertes-10889-2703 Γριβοκωστοπούλου, Φωτεινή Thesis 2010 Γριβοκωστοπούλου, Φωτεινή 0 Αυτόματη παραγωγή και αξιολόγηση ασκήσεων και χρήση παιχνιδοποίησης σε ευφυή συστήματα διδασκαλίας Sun, 01 Jan 2017 00:54:50 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10114 https://find.library.upatras.gr/Record/nemertes-10889-10114 Γριβοκωστοπούλου, Φωτεινή Thesis 2017 Γριβοκωστοπούλου, Φωτεινή 0 Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P Fri, 01 Jan 2010 00:54:50 +0200 https://find.library.upatras.gr/Record/nemertes-10889-3585 https://find.library.upatras.gr/Record/nemertes-10889-3585 Κεραμύδας, Ελευθέριος Thesis 2010 Κεραμύδας, Ελευθέριος 0 Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P Thu, 01 Jan 2004 00:54:50 +0200 https://find.library.upatras.gr/Record/62272 https://find.library.upatras.gr/Record/62272 Κεραμύδας, Ελευθέριος Βιβλίο 2004 Κεραμύδας, Ελευθέριος 0 Gems of theoretical computer science / Thu, 01 Jan 1998 00:54:50 +0200 https://find.library.upatras.gr/Record/89361 https://find.library.upatras.gr/Record/89361 Schöning, Uwe, 1955- Βιβλίο 1998 Schöning, Uwe, 1955- 0 A proof theory for general unification / Tue, 01 Jan 1991 00:54:50 +0200 https://find.library.upatras.gr/Record/90496 https://find.library.upatras.gr/Record/90496 Snyder, Wayne, 1955- Βιβλίο 1991 Snyder, Wayne, 1955- 0 Logical frameworks / Tue, 01 Jan 1991 00:54:50 +0200 https://find.library.upatras.gr/Record/90837 https://find.library.upatras.gr/Record/90837 Βιβλίο 1991 0 Logical environments / Fri, 01 Jan 1993 00:54:50 +0200 https://find.library.upatras.gr/Record/90839 https://find.library.upatras.gr/Record/90839 Βιβλίο 1993 0 Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων Thu, 01 Jan 2009 00:54:50 +0200 https://find.library.upatras.gr/Record/60370 https://find.library.upatras.gr/Record/60370 Γριβοκωστοπούλου, Φωτεινή Βιβλίο 2009 Γριβοκωστοπούλου, Φωτεινή 0 Computational logic : symposium proceedings, Brussels, November 13/14, 1990 / Mon, 01 Jan 1990 00:54:50 +0200 https://find.library.upatras.gr/Record/80803 https://find.library.upatras.gr/Record/80803 Βιβλίο 1990 0 Ontic : a knowledge representation system for mathematics / Sun, 01 Jan 1989 00:54:50 +0200 https://find.library.upatras.gr/Record/82683 https://find.library.upatras.gr/Record/82683 McAllester, David A. Βιβλίο 1989 McAllester, David A. 0