Αποτελέσματα για "Nuprl" Εμφανίζονται 1 - 10 Αποτελέσματα από 10 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Nuprl%22&type=AllFields&lng=el 10 0 50 Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / Tue, 01 Jan 2002 10:05:13 +0200 https://find.library.upatras.gr/Record/978-3-540-45607-0 https://find.library.upatras.gr/Record/978-3-540-45607-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings / Wed, 01 Jan 1997 10:05:13 +0200 https://find.library.upatras.gr/Record/978-3-540-69140-2 https://find.library.upatras.gr/Record/978-3-540-69140-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings / Mon, 01 Jan 2001 10:05:13 +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 Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings / Sat, 01 Jan 2000 10:05:13 +0200 https://find.library.upatras.gr/Record/978-3-540-45101-3 https://find.library.upatras.gr/Record/978-3-540-45101-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / Thu, 01 Jan 1998 10:05:13 +0200 https://find.library.upatras.gr/Record/978-3-540-69339-0 https://find.library.upatras.gr/Record/978-3-540-69339-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings / Thu, 01 Jan 1998 10:05:13 +0200 https://find.library.upatras.gr/Record/978-3-540-49801-8 https://find.library.upatras.gr/Record/978-3-540-49801-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 The Seventeen Provers of the World Foreword by Dana S. Scott / Sun, 01 Jan 2006 10:05:13 +0200 https://find.library.upatras.gr/Record/978-3-540-32888-9 https://find.library.upatras.gr/Record/978-3-540-32888-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / Sun, 01 Jan 2006 10:05:13 +0200 https://find.library.upatras.gr/Record/978-3-540-48282-6 https://find.library.upatras.gr/Record/978-3-540-48282-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 A Modern Perspective on Type Theory From its Origins until Today / Sat, 01 Jan 2005 10:05:13 +0200 https://find.library.upatras.gr/Record/978-1-4020-2335-4 https://find.library.upatras.gr/Record/978-1-4020-2335-4 Kamareddine, Fairouz Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 Kamareddine, Fairouz 0 Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / Tue, 01 Jan 2013 10:05:13 +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