Αποτελέσματα για "proof theory"

Αποτελέσματα για "proof theory" Εμφανίζονται 1 - 50 Αποτελέσματα από 119 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22proof+theory%22&type=AllFields&lng=el 119 0 50 Gentzen's Centenary The Quest for Consistency / Thu, 01 Jan 2015 13:39:51 +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 Dag Prawitz on Proofs and Meaning Thu, 01 Jan 2015 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-319-11041-7 https://find.library.upatras.gr/Record/978-3-319-11041-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice / Thu, 01 Jan 2015 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-319-19063-1 https://find.library.upatras.gr/Record/978-3-319-19063-1 Clerbout, Nicolas Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Clerbout, Nicolas 0 Advances in Proof-Theoretic Semantics Fri, 01 Jan 2016 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-319-22686-6 https://find.library.upatras.gr/Record/978-3-319-22686-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 AI*IA 97: Advances in Artificial Intelligence 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings / Wed, 01 Jan 1997 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-540-69601-8 https://find.library.upatras.gr/Record/978-3-540-69601-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Symbolic and Quantitative Approaches to Reasoning with Uncertainty 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings / Mon, 01 Jan 2001 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-540-44652-1 https://find.library.upatras.gr/Record/978-3-540-44652-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Beyond Two: Theory and Applications of Multiple-Valued Logic Wed, 01 Jan 2003 13:39:51 +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 Automated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings / Tue, 01 Jan 2002 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45620-9 https://find.library.upatras.gr/Record/978-3-540-45620-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / Tue, 01 Jan 2002 13:39:51 +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 Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings / Mon, 01 Jan 2001 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45504-2 https://find.library.upatras.gr/Record/978-3-540-45504-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings / Thu, 01 Jan 1998 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-540-49816-2 https://find.library.upatras.gr/Record/978-3-540-49816-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / Wed, 01 Jan 1997 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-540-69806-7 https://find.library.upatras.gr/Record/978-3-540-69806-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings / Sat, 01 Jan 2000 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-540-44622-4 https://find.library.upatras.gr/Record/978-3-540-44622-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Mathematical Foundations of Computer Science 1998 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 / Thu, 01 Jan 1998 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-540-68532-6 https://find.library.upatras.gr/Record/978-3-540-68532-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings / Fri, 01 Jan 2016 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-662-49630-5 https://find.library.upatras.gr/Record/978-3-662-49630-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings / Fri, 01 Jan 2016 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-319-34171-2 https://find.library.upatras.gr/Record/978-3-319-34171-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings / Mon, 01 Jan 2001 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45744-2 https://find.library.upatras.gr/Record/978-3-540-45744-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Artificial Intelligence: Methodology, Systems, and Applications 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings / Thu, 01 Jan 1998 13:39:51 +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 Process Algebra and Probabilistic Methods: Performance Modeling and Verification Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings / Tue, 01 Jan 2002 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45605-6 https://find.library.upatras.gr/Record/978-3-540-45605-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Formal Models of Agents ESPRIT Project ModelAge Final Report Selected Papers / Fri, 01 Jan 1999 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-540-46581-2 https://find.library.upatras.gr/Record/978-3-540-46581-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Modern Logic 1850-1950, East and West Fri, 01 Jan 2016 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-319-24756-4 https://find.library.upatras.gr/Record/978-3-319-24756-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings / Fri, 01 Jan 2016 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-319-40229-1 https://find.library.upatras.gr/Record/978-3-319-40229-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Advances in Proof Theory Fri, 01 Jan 2016 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-319-29198-7 https://find.library.upatras.gr/Record/978-3-319-29198-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / Thu, 01 Jan 2015 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-662-45824-2 https://find.library.upatras.gr/Record/978-3-662-45824-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / Thu, 01 Jan 2015 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-662-46678-0 https://find.library.upatras.gr/Record/978-3-662-46678-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή Fri, 01 Jan 2016 13:39:51 +0200 https://find.library.upatras.gr/Record/kallipos-11419-2300 https://find.library.upatras.gr/Record/kallipos-11419-2300 Koletsos, Georgios 7 2016 Koletsos, Georgios 0 9783030719951.pdf Fri, 01 Jan 2021 13:39:51 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-48218 https://find.library.upatras.gr/Record/oapen-20.500.12657-48218 2021 0 2020_Book_FoundationsOfSoftwareScienceAn.pdf Wed, 01 Jan 2020 13:39:51 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-37723 https://find.library.upatras.gr/Record/oapen-20.500.12657-37723 2020 0 978-3-030-99253-8.pdf Sat, 01 Jan 2022 13:39:51 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-54027 https://find.library.upatras.gr/Record/oapen-20.500.12657-54027 2022 0 Η λογική των προτάσεων, προτασιακός λογισμός Fri, 01 Jan 2016 13:39:51 +0200 https://find.library.upatras.gr/Record/kallipos-11419-2301 https://find.library.upatras.gr/Record/kallipos-11419-2301 Koletsos, Georgios 7 2016 Koletsos, Georgios 0 Αποδεικτικό σύστημα Fri, 01 Jan 2016 13:39:51 +0200 https://find.library.upatras.gr/Record/kallipos-11419-2308 https://find.library.upatras.gr/Record/kallipos-11419-2308 Koletsos, Georgios 7 2016 Koletsos, Georgios 0 Σύστημα Hilbert Fri, 01 Jan 2016 13:39:51 +0200 https://find.library.upatras.gr/Record/kallipos-11419-2309 https://find.library.upatras.gr/Record/kallipos-11419-2309 Koletsos, Georgios 7 2016 Koletsos, Georgios 0 Proceedings of the 2015 Conference on Certified Programs and Proofs Thu, 01 Jan 2015 13:39:51 +0200 https://find.library.upatras.gr/Record/10.1145%2F2676724 https://find.library.upatras.gr/Record/10.1145%2F2676724 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2015 0 Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice Tue, 01 Jan 2013 13:39:51 +0200 https://find.library.upatras.gr/Record/10.1145%2F2503887 https://find.library.upatras.gr/Record/10.1145%2F2503887 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2013 0 Συστήματα Gentzen Fri, 01 Jan 2016 13:39:51 +0200 https://find.library.upatras.gr/Record/kallipos-11419-2305 https://find.library.upatras.gr/Record/kallipos-11419-2305 Koletsos, Georgios 7 2016 Koletsos, Georgios 0 Υπολογισιμότητα, αναδρομικές συναρτήσεις Fri, 01 Jan 2016 13:39:51 +0200 https://find.library.upatras.gr/Record/kallipos-11419-2303 https://find.library.upatras.gr/Record/kallipos-11419-2303 Koletsos, Georgios 7 2016 Koletsos, Georgios 0 Τα Θεωρήματα μη πληρότητας του Gödel Fri, 01 Jan 2016 13:39:51 +0200 https://find.library.upatras.gr/Record/kallipos-11419-2304 https://find.library.upatras.gr/Record/kallipos-11419-2304 Koletsos, Georgios 7 2016 Koletsos, Georgios 0 Συστήματα Tableaux Fri, 01 Jan 2016 13:39:51 +0200 https://find.library.upatras.gr/Record/kallipos-11419-2306 https://find.library.upatras.gr/Record/kallipos-11419-2306 Koletsos, Georgios 7 2016 Koletsos, Georgios 0 Πρωτοβάθμια κατηγορηματική Λογική Fri, 01 Jan 2016 13:39:51 +0200 https://find.library.upatras.gr/Record/kallipos-11419-2302 https://find.library.upatras.gr/Record/kallipos-11419-2302 Koletsos, Georgios 7 2016 Koletsos, Georgios 0 Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard Fri, 01 Jan 2016 13:39:51 +0200 https://find.library.upatras.gr/Record/kallipos-11419-2307 https://find.library.upatras.gr/Record/kallipos-11419-2307 Koletsos, Georgios 7 2016 Koletsos, Georgios 0 Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification Wed, 01 Jan 2014 13:39:51 +0200 https://find.library.upatras.gr/Record/10.1145%2F2541568 https://find.library.upatras.gr/Record/10.1145%2F2541568 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2014 0 Proceedings of ACM conference on Proving assertions about programs Sat, 01 Jan 1972 13:39:51 +0200 https://find.library.upatras.gr/Record/10.1145%2F800235 https://find.library.upatras.gr/Record/10.1145%2F800235 Ηλεκτρονική πηγή Ηλ. βιβλίο 1972 0 A Course in Mathematical Logic for Mathematicians Fri, 01 Jan 2010 13:39:51 +0200 https://find.library.upatras.gr/Record/978-1-4419-0615-1 https://find.library.upatras.gr/Record/978-1-4419-0615-1 Manin, Yu. I. Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 Manin, Yu. I. 0 Saved from the Cellar Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics / Sun, 01 Jan 2017 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-319-42120-9 https://find.library.upatras.gr/Record/978-3-319-42120-9 von Plato, Jan Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 von Plato, Jan 0 Proof Technology in Mathematics Research and Teaching Tue, 01 Jan 2019 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-030-28483-1 https://find.library.upatras.gr/Record/978-3-030-28483-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0 A Model-Theoretic Approach to Proof Theory Tue, 01 Jan 2019 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-030-28921-8 https://find.library.upatras.gr/Record/978-3-030-28921-8 Kotlarski, Henryk Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 Kotlarski, Henryk 0 Proof Theory and Algebra in Logic Tue, 01 Jan 2019 13:39:51 +0200 https://find.library.upatras.gr/Record/978-981-13-7997-0 https://find.library.upatras.gr/Record/978-981-13-7997-0 Ono, Hiroakira Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 Ono, Hiroakira 0 Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / Tue, 01 Jan 2013 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-642-40948-6 https://find.library.upatras.gr/Record/978-3-642-40948-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2013 0 Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / Tue, 01 Jan 2013 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-642-40537-2 https://find.library.upatras.gr/Record/978-3-642-40537-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2013 0 Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings / Sun, 01 Jan 2006 13:39:51 +0200 https://find.library.upatras.gr/Record/978-3-540-36835-9 https://find.library.upatras.gr/Record/978-3-540-36835-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0