Results for "proof complexity"

Results for "proof complexity" Showing 1 - 23 results of 23 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22proof+complexity%22&type=AllFields&lng=en 23 0 50 Developments in Language Theory 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers / Tue, 01 Jan 2002 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-540-46011-4 https://find.library.upatras.gr/Record/978-3-540-46011-4 Electronic eBook 2002 0 Computer Science Logic 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September / Tue, 01 Jan 2002 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-540-45793-0 https://find.library.upatras.gr/Record/978-3-540-45793-0 Electronic eBook 2002 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 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-540-69778-7 https://find.library.upatras.gr/Record/978-3-540-69778-7 Electronic eBook 1998 0 Πιθανοτικά ελέγξιμες αποδείξεις Tue, 01 Jan 2019 00:53:29 +0200 https://find.library.upatras.gr/Record/nemertes-10889-12229 https://find.library.upatras.gr/Record/nemertes-10889-12229 Γεωργόπουλος, Παναγιώτης Thesis 2019 Γεωργόπουλος, Παναγιώτης 0 Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / Thu, 01 Jan 2015 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-319-24318-4 https://find.library.upatras.gr/Record/978-3-319-24318-4 Electronic eBook 2015 0 Theory Is Forever Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday / Thu, 01 Jan 2004 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-540-27812-2 https://find.library.upatras.gr/Record/978-3-540-27812-2 Electronic eBook 2004 0 Space in Weak Propositional Proof Systems Sun, 01 Jan 2017 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-319-73453-8 https://find.library.upatras.gr/Record/978-3-319-73453-8 Bonacina, Ilario Electronic eBook 2017 Bonacina, Ilario 0 Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume / Wed, 01 Jan 2014 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-319-05446-9 https://find.library.upatras.gr/Record/978-3-319-05446-9 Electronic eBook 2014 0 Theory and Applications of Satisfiability Testing - SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings / Tue, 01 Jan 2019 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-030-24258-9 https://find.library.upatras.gr/Record/978-3-030-24258-9 Electronic eBook 2019 0 Theory and Applications of Satisfiability Testing - SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / Mon, 01 Jan 2018 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-319-94144-8 https://find.library.upatras.gr/Record/978-3-319-94144-8 Electronic eBook 2018 0 Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / Wed, 01 Jan 2014 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-319-09284-3 https://find.library.upatras.gr/Record/978-3-319-09284-3 Electronic eBook 2014 0 Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings / Sun, 01 Jan 2006 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-540-35468-0 https://find.library.upatras.gr/Record/978-3-540-35468-0 Electronic eBook 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 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-540-45459-5 https://find.library.upatras.gr/Record/978-3-540-45459-5 Electronic eBook 2006 0 Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings / Tue, 01 Jan 2013 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-642-38536-0 https://find.library.upatras.gr/Record/978-3-642-38536-0 Electronic eBook 2013 0 Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings / Mon, 01 Jan 2018 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-319-94418-0 https://find.library.upatras.gr/Record/978-3-319-94418-0 Electronic eBook 2018 0 Computer Science - Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, Proceedings / Tue, 01 Jan 2019 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-030-19955-5 https://find.library.upatras.gr/Record/978-3-030-19955-5 Electronic eBook 2019 0 Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings / Fri, 01 Jan 2010 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-642-13562-0 https://find.library.upatras.gr/Record/978-3-642-13562-0 Electronic eBook 2010 0 Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / Fri, 01 Jan 2010 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-642-14186-7 https://find.library.upatras.gr/Record/978-3-642-14186-7 Electronic eBook 2010 0 Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings / Tue, 01 Jan 2008 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-540-79709-8 https://find.library.upatras.gr/Record/978-3-540-79709-8 Electronic eBook 2008 0 Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings / Tue, 01 Jan 2008 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-540-79719-7 https://find.library.upatras.gr/Record/978-3-540-79719-7 Electronic eBook 2008 0 Boolean Function Complexity Advances and Frontiers / Sun, 01 Jan 2012 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-642-24508-4 https://find.library.upatras.gr/Record/978-3-642-24508-4 Jukna, Stasys Electronic eBook 2012 Jukna, Stasys 0 Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / Tue, 01 Jan 2013 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-642-39071-5 https://find.library.upatras.gr/Record/978-3-642-39071-5 Electronic eBook 2013 0 Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction / Tue, 01 Jan 2013 00:53:29 +0200 https://find.library.upatras.gr/Record/978-3-319-00119-7 https://find.library.upatras.gr/Record/978-3-319-00119-7 Pudlák, Pavel Electronic eBook 2013 Pudlák, Pavel 0