Αποτελέσματα για "sequent calculus"

Αποτελέσματα για "sequent calculus" Εμφανίζονται 1 - 43 Αποτελέσματα από 43 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22sequent+calculus%22&type=AllFields&lng=el 43 0 50 Gentzen's Centenary The Quest for Consistency / Thu, 01 Jan 2015 15:27:26 +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 Symbolic and Quantitative Approaches to Reasoning with Uncertainty 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings / Wed, 01 Jan 2003 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-540-45062-7 https://find.library.upatras.gr/Record/978-3-540-45062-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings / Wed, 01 Jan 2003 15:27:26 +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 Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers / Thu, 01 Jan 1998 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-540-69353-6 https://find.library.upatras.gr/Record/978-3-540-69353-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 15:27:26 +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 Logic Based Program Synthesis and Transformation 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers / Wed, 01 Jan 2003 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-540-45013-9 https://find.library.upatras.gr/Record/978-3-540-45013-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings / Tue, 01 Jan 2002 15:27:26 +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 Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings / Mon, 01 Jan 2001 15:27:26 +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 Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / Wed, 01 Jan 1997 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-540-69046-7 https://find.library.upatras.gr/Record/978-3-540-69046-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / Thu, 01 Jan 2004 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-540-24849-1 https://find.library.upatras.gr/Record/978-3-540-24849-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / Thu, 01 Jan 2015 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-319-24312-2 https://find.library.upatras.gr/Record/978-3-319-24312-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 15:27:26 +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 Recent Trends in Philosophical Logic Wed, 01 Jan 2014 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-319-06080-4 https://find.library.upatras.gr/Record/978-3-319-06080-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2014 0 New Frontiers in Artificial Intelligence JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers / Sun, 01 Jan 2017 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-319-50953-2 https://find.library.upatras.gr/Record/978-3-319-50953-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 0 Saved from the Cellar Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics / Sun, 01 Jan 2017 15:27:26 +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 Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / Tue, 01 Jan 2013 15:27:26 +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 Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings / Sun, 01 Jan 2006 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-540-33096-7 https://find.library.upatras.gr/Record/978-3-540-33096-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / Sun, 01 Jan 2006 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-540-37188-5 https://find.library.upatras.gr/Record/978-3-540-37188-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings / Sun, 01 Jan 2006 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-540-45459-5 https://find.library.upatras.gr/Record/978-3-540-45459-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 15:27:26 +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 Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings / Sun, 01 Jan 2017 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-662-54434-1 https://find.library.upatras.gr/Record/978-3-662-54434-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 0 Applied Logic for Computer Scientists Computational Deduction and Formal Proofs / Sun, 01 Jan 2017 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-319-51653-0 https://find.library.upatras.gr/Record/978-3-319-51653-0 Ayala-Rincón, Mauricio Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 Ayala-Rincón, Mauricio 0 Agents and Artificial Intelligence 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers / Tue, 01 Jan 2019 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-030-37494-5 https://find.library.upatras.gr/Record/978-3-030-37494-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0 Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings / Thu, 01 Jan 2009 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-642-02261-6 https://find.library.upatras.gr/Record/978-3-642-02261-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0 Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / Thu, 01 Jan 2009 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-642-02444-3 https://find.library.upatras.gr/Record/978-3-642-02444-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0 Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / Tue, 01 Jan 2008 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-540-89439-1 https://find.library.upatras.gr/Record/978-3-540-89439-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings / Fri, 01 Jan 2010 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-642-14203-1 https://find.library.upatras.gr/Record/978-3-642-14203-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / Fri, 01 Jan 2010 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-642-15205-4 https://find.library.upatras.gr/Record/978-3-642-15205-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings / Wed, 01 Jan 2014 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-319-08587-6 https://find.library.upatras.gr/Record/978-3-319-08587-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2014 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 15:27:26 +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 Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings / Sat, 01 Jan 2005 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-540-32014-2 https://find.library.upatras.gr/Record/978-3-540-32014-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings / Mon, 01 Jan 2007 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-540-73001-9 https://find.library.upatras.gr/Record/978-3-540-73001-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings / Mon, 01 Jan 2007 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-540-73099-6 https://find.library.upatras.gr/Record/978-3-540-73099-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers / Mon, 01 Jan 2007 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-540-73770-4 https://find.library.upatras.gr/Record/978-3-540-73770-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings / Mon, 01 Jan 2007 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-540-74915-8 https://find.library.upatras.gr/Record/978-3-540-74915-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 A Proof Theory for Description Logics Sun, 01 Jan 2012 15:27:26 +0200 https://find.library.upatras.gr/Record/978-1-4471-4002-3 https://find.library.upatras.gr/Record/978-1-4471-4002-3 Rademaker, Alexandre Ηλεκτρονική πηγή Ηλ. βιβλίο 2012 Rademaker, Alexandre 0 Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings / Thu, 01 Jan 2009 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-642-04027-6 https://find.library.upatras.gr/Record/978-3-642-04027-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0 The Realism-Antirealism Debate in the Age of Alternative Logics Sun, 01 Jan 2012 15:27:26 +0200 https://find.library.upatras.gr/Record/978-94-007-1923-1 https://find.library.upatras.gr/Record/978-94-007-1923-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2012 0 Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / Tue, 01 Jan 2013 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-319-03542-0 https://find.library.upatras.gr/Record/978-3-319-03542-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2013 0 Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings / Tue, 01 Jan 2013 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-642-36039-8 https://find.library.upatras.gr/Record/978-3-642-36039-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2013 0 Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings / Tue, 01 Jan 2008 15:27:26 +0200 https://find.library.upatras.gr/Record/978-3-540-88190-2 https://find.library.upatras.gr/Record/978-3-540-88190-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 978-3-031-43513-3.pdf Sun, 01 Jan 2023 15:27:26 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-76757 https://find.library.upatras.gr/Record/oapen-20.500.12657-76757 2023 0 Μαθηματική λογική Fri, 01 Jan 2016 15:27:26 +0200 https://find.library.upatras.gr/Record/kallipos-11419-2299 https://find.library.upatras.gr/Record/kallipos-11419-2299 Κολέτσος, Γεώργιος 1 2016 Κολέτσος, Γεώργιος 0