Αποτελέσματα για "Automated theorem proving"

Αποτελέσματα για "Automated theorem proving" Εμφανίζονται 1 - 44 Αποτελέσματα από 44 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Automated+theorem+proving%22&type=AllFields&lng=el 44 0 50 Gentzen's Centenary The Quest for Consistency / Thu, 01 Jan 2015 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-319-10103-3 https://find.library.upatras.gr/Record/978-3-319-10103-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Automated Deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings / Thu, 01 Jan 1998 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-69110-5 https://find.library.upatras.gr/Record/978-3-540-69110-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Advances in Artificial Intelligence 15th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2002 Calgary, Canada, May 27-29, 2002 Proceedings / Tue, 01 Jan 2002 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-47922-2 https://find.library.upatras.gr/Record/978-3-540-47922-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Beyond Two: Theory and Applications of Multiple-Valued Logic Wed, 01 Jan 2003 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-7908-1769-0 https://find.library.upatras.gr/Record/978-3-7908-1769-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings / Mon, 01 Jan 2001 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-45653-7 https://find.library.upatras.gr/Record/978-3-540-45653-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings / Mon, 01 Jan 2001 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-44755-9 https://find.library.upatras.gr/Record/978-3-540-44755-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings / Wed, 01 Jan 2003 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-45206-5 https://find.library.upatras.gr/Record/978-3-540-45206-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers / Mon, 01 Jan 2001 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-45410-6 https://find.library.upatras.gr/Record/978-3-540-45410-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Advances in Artificial Intelligence 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000 Montreal, Quebec, Canada, May 14-17, 2000 Proceedings / Sat, 01 Jan 2000 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-45486-1 https://find.library.upatras.gr/Record/978-3-540-45486-1 Hamilton, Howard J. Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 Hamilton, Howard J. 0 Computer Aided Systems Theory - EUROCAST 2001 A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers / Mon, 01 Jan 2001 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-45654-4 https://find.library.upatras.gr/Record/978-3-540-45654-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings / Tue, 01 Jan 2002 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-36078-0 https://find.library.upatras.gr/Record/978-3-540-36078-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 SOFSEM '98: Theory and Practice of Informatics 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings / Thu, 01 Jan 1998 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-49477-5 https://find.library.upatras.gr/Record/978-3-540-49477-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings / Thu, 01 Jan 1998 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-69778-7 https://find.library.upatras.gr/Record/978-3-540-69778-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings / Fri, 01 Jan 1999 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-48754-8 https://find.library.upatras.gr/Record/978-3-540-48754-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Automated Deduction in Classical and Non-Classical Logics Selected Papers / Sat, 01 Jan 2000 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-46508-9 https://find.library.upatras.gr/Record/978-3-540-46508-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Artificial Intelligence: Methodology, Systems, and Applications 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings / Thu, 01 Jan 1998 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-49793-6 https://find.library.upatras.gr/Record/978-3-540-49793-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Automated Deduction - CADE-16 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings / Fri, 01 Jan 1999 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-48660-2 https://find.library.upatras.gr/Record/978-3-540-48660-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Principles and Practice of Constraint Programming - CP'99 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings / Fri, 01 Jan 1999 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-48085-3 https://find.library.upatras.gr/Record/978-3-540-48085-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics Mon, 01 Jan 2018 01:39:34 +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 Αυτόματη παραγωγή και αξιολόγηση ασκήσεων και χρήση παιχνιδοποίησης σε ευφυή συστήματα διδασκαλίας Sun, 01 Jan 2017 01:39:34 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10114 https://find.library.upatras.gr/Record/nemertes-10889-10114 Γριβοκωστοπούλου, Φωτεινή Thesis 2017 Γριβοκωστοπούλου, Φωτεινή 0 Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / Thu, 01 Jan 2004 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-24756-2 https://find.library.upatras.gr/Record/978-3-540-24756-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 A Concise Introduction to Mathematical Logic Fri, 01 Jan 2010 01:39:34 +0200 https://find.library.upatras.gr/Record/978-1-4419-1221-3 https://find.library.upatras.gr/Record/978-1-4419-1221-3 Rautenberg, Wolfgang Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 Rautenberg, Wolfgang 0 Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers / Sat, 01 Jan 2005 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-32119-4 https://find.library.upatras.gr/Record/978-3-540-32119-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Beyond Deep Blue Chess in the Stratosphere / Sat, 01 Jan 2011 01:39:34 +0200 https://find.library.upatras.gr/Record/978-0-85729-341-1 https://find.library.upatras.gr/Record/978-0-85729-341-1 Newborn, Monty Ηλεκτρονική πηγή Ηλ. βιβλίο 2011 Newborn, Monty 0 Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / Sun, 01 Jan 2017 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-319-66167-4 https://find.library.upatras.gr/Record/978-3-319-66167-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 0 Provably Correct Systems Sun, 01 Jan 2017 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-319-48628-4 https://find.library.upatras.gr/Record/978-3-319-48628-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 0 Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings / Tue, 01 Jan 2019 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-030-29007-8 https://find.library.upatras.gr/Record/978-3-030-29007-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0 Automated Deduction – CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / Thu, 01 Jan 2009 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-642-02959-2 https://find.library.upatras.gr/Record/978-3-642-02959-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0 Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics / Fri, 01 Jan 2010 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-642-14509-4 https://find.library.upatras.gr/Record/978-3-642-14509-4 Platzer, André Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 Platzer, André 0 Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings / Fri, 01 Jan 2010 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-642-15582-6 https://find.library.upatras.gr/Record/978-3-642-15582-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / Sun, 01 Jan 2006 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-31429-5 https://find.library.upatras.gr/Record/978-3-540-31429-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings / Sat, 01 Jan 2005 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-31650-3 https://find.library.upatras.gr/Record/978-3-540-31650-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings / Tue, 01 Jan 2019 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-030-30923-7 https://find.library.upatras.gr/Record/978-3-030-30923-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0 Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / Mon, 01 Jan 2007 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-71998-4 https://find.library.upatras.gr/Record/978-3-540-71998-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 Advances in Computation and Intelligence Second International Symposium, ISICA 2007 Wuhan, China, September 21-23, 2007 Proceedings / Mon, 01 Jan 2007 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-74581-5 https://find.library.upatras.gr/Record/978-3-540-74581-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / Tue, 01 Jan 2008 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-540-79980-1 https://find.library.upatras.gr/Record/978-3-540-79980-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings / Tue, 01 Jan 2019 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-030-20652-9 https://find.library.upatras.gr/Record/978-3-030-20652-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0 A Concise Introduction to Mathematical Logic Sun, 01 Jan 2006 01:39:34 +0200 https://find.library.upatras.gr/Record/978-0-387-34241-2 https://find.library.upatras.gr/Record/978-0-387-34241-2 Rautenberg, Wolfgang Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 Rautenberg, Wolfgang 0 Practical Artificial Intelligence Machine Learning, Bots, and Agent Solutions Using C# / Mon, 01 Jan 2018 01:39:34 +0200 https://find.library.upatras.gr/Record/978-1-4842-3357-3 https://find.library.upatras.gr/Record/978-1-4842-3357-3 Pérez Castaño, Arnaldo Ηλεκτρονική πηγή Ηλ. βιβλίο 2018 Pérez Castaño, Arnaldo 0 Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / Mon, 01 Jan 2018 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-319-94111-0 https://find.library.upatras.gr/Record/978-3-319-94111-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2018 0 Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / Tue, 01 Jan 2013 01:39:34 +0200 https://find.library.upatras.gr/Record/978-3-642-39634-2 https://find.library.upatras.gr/Record/978-3-642-39634-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2013 0 978-3-031-38499-8.pdf Sun, 01 Jan 2023 01:39:34 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-76245 https://find.library.upatras.gr/Record/oapen-20.500.12657-76245 2023 0 First-order logic and automated theorem proving / Mon, 01 Jan 1990 01:39:34 +0200 https://find.library.upatras.gr/Record/93523 https://find.library.upatras.gr/Record/93523 Fitting, Melvin 1942- Βιβλίο 1990 Fitting, Melvin 1942- 0 First-order logic and automated theorem proving / Mon, 01 Jan 1996 01:39:34 +0200 https://find.library.upatras.gr/Record/86250 https://find.library.upatras.gr/Record/86250 Fitting, Melvin 1942- Βιβλίο 1996 Fitting, Melvin 1942- 0