Results for "ACL2"

Results for "ACL2" Showing 1 - 39 results of 39 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22ACL2%22&type=AllFields&lng=en 39 0 50 Automated Deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings / Thu, 01 Jan 1998 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-69110-5 https://find.library.upatras.gr/Record/978-3-540-69110-5 Electronic eBook 1998 0 Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings / Tue, 01 Jan 2002 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-45931-6 https://find.library.upatras.gr/Record/978-3-540-45931-6 Electronic eBook 2002 0 Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings / Thu, 01 Jan 2004 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-30210-0 https://find.library.upatras.gr/Record/978-3-540-30210-0 Electronic eBook 2004 0 Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers / Mon, 01 Jan 2001 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-44990-4 https://find.library.upatras.gr/Record/978-3-540-44990-4 Electronic eBook 2001 0 Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings / Wed, 01 Jan 2003 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-39724-3 https://find.library.upatras.gr/Record/978-3-540-39724-3 Electronic eBook 2003 0 Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings / Mon, 01 Jan 2001 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-44755-9 https://find.library.upatras.gr/Record/978-3-540-44755-9 Electronic eBook 2001 0 Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings / Wed, 01 Jan 2003 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-39813-4 https://find.library.upatras.gr/Record/978-3-540-39813-4 Electronic eBook 2003 0 Practical Aspects of Declarative Languages 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings / Tue, 01 Jan 2002 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-45587-5 https://find.library.upatras.gr/Record/978-3-540-45587-5 Electronic eBook 2002 0 Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings / Tue, 01 Jan 2002 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-46002-2 https://find.library.upatras.gr/Record/978-3-540-46002-2 Electronic eBook 2002 0 Compiler Construction 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / Tue, 01 Jan 2002 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-45937-8 https://find.library.upatras.gr/Record/978-3-540-45937-8 Electronic eBook 2002 0 Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings / Thu, 01 Jan 2004 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-30494-4 https://find.library.upatras.gr/Record/978-3-540-30494-4 Electronic eBook 2004 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 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-45013-9 https://find.library.upatras.gr/Record/978-3-540-45013-9 Electronic eBook 2003 0 Formal Methods and Software Engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings / Thu, 01 Jan 2004 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-30482-1 https://find.library.upatras.gr/Record/978-3-540-30482-1 Electronic eBook 2004 0 Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings / Tue, 01 Jan 2002 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-45927-9 https://find.library.upatras.gr/Record/978-3-540-45927-9 Electronic eBook 2002 0 Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / Thu, 01 Jan 1998 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-69339-0 https://find.library.upatras.gr/Record/978-3-540-69339-0 Electronic eBook 1998 0 Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings / Sat, 01 Jan 2000 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-40922-9 https://find.library.upatras.gr/Record/978-3-540-40922-9 Electronic eBook 2000 0 Fundamental Approaches to Software Engineering 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / Tue, 01 Jan 2002 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-45923-1 https://find.library.upatras.gr/Record/978-3-540-45923-1 Electronic eBook 2002 0 Theorem Proving in Higher Order Logics 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings / Thu, 01 Jan 2004 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-30142-4 https://find.library.upatras.gr/Record/978-3-540-30142-4 Electronic eBook 2004 0 Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings / Thu, 01 Jan 1998 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-49519-2 https://find.library.upatras.gr/Record/978-3-540-49519-2 Electronic eBook 1998 0 Logic Based Program Synthesis and Transformation 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers / Thu, 01 Jan 2004 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-25938-1 https://find.library.upatras.gr/Record/978-3-540-25938-1 Electronic eBook 2004 0 Current Topics in Artificial Intelligence 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers / Thu, 01 Jan 2004 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-25945-9 https://find.library.upatras.gr/Record/978-3-540-25945-9 Electronic eBook 2004 0 Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications Thu, 01 Jan 2009 06:08:06 +0200 https://find.library.upatras.gr/Record/10.1145%2F1637837 https://find.library.upatras.gr/Record/10.1145%2F1637837 Electronic Conference Proceeding eBook 2009 0 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications Sun, 01 Jan 2006 06:08:06 +0200 https://find.library.upatras.gr/Record/10.1145%2F1217975 https://find.library.upatras.gr/Record/10.1145%2F1217975 Electronic eBook 2006 0 Design and Verification of Microprocessor Systems for High-Assurance Applications Fri, 01 Jan 2010 06:08:06 +0200 https://find.library.upatras.gr/Record/978-1-4419-1539-9 https://find.library.upatras.gr/Record/978-1-4419-1539-9 Electronic eBook 2010 0 Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings / Tue, 01 Jan 2008 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-71067-7 https://find.library.upatras.gr/Record/978-3-540-71067-7 Electronic eBook 2008 0 The Seventeen Provers of the World Foreword by Dana S. Scott / Sun, 01 Jan 2006 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-32888-9 https://find.library.upatras.gr/Record/978-3-540-32888-9 Electronic eBook 2006 0 Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / Sun, 01 Jan 2006 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-37188-5 https://find.library.upatras.gr/Record/978-3-540-37188-5 Electronic eBook 2006 0 Scalable Techniques for Formal Verification Fri, 01 Jan 2010 06:08:06 +0200 https://find.library.upatras.gr/Record/978-1-4419-5998-0 https://find.library.upatras.gr/Record/978-1-4419-5998-0 Ray, Sandip Electronic eBook 2010 Ray, Sandip 0 Handbook of Open Source Tools Sat, 01 Jan 2011 06:08:06 +0200 https://find.library.upatras.gr/Record/978-1-4419-7719-9 https://find.library.upatras.gr/Record/978-1-4419-7719-9 Koranne, Sandeep Electronic eBook 2011 Koranne, Sandeep 0 Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / Sun, 01 Jan 2017 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-319-66107-0 https://find.library.upatras.gr/Record/978-3-319-66107-0 Electronic eBook 2017 0 Formal Verification of Floating-Point Hardware Design A Mathematical Approach / Tue, 01 Jan 2019 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-319-95513-1 https://find.library.upatras.gr/Record/978-3-319-95513-1 Russinoff, David M. Electronic eBook 2019 Russinoff, David M. 0 Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings / Thu, 01 Jan 2009 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-642-02614-0 https://find.library.upatras.gr/Record/978-3-642-02614-0 Electronic eBook 2009 0 Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings / Sat, 01 Jan 2005 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-31820-0 https://find.library.upatras.gr/Record/978-3-540-31820-0 Electronic eBook 2005 0 ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings / Sat, 01 Jan 2005 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-32007-4 https://find.library.upatras.gr/Record/978-3-540-32007-4 Electronic eBook 2005 0 Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / Mon, 01 Jan 2007 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-73086-6 https://find.library.upatras.gr/Record/978-3-540-73086-6 Electronic eBook 2007 0 Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings / Mon, 01 Jan 2007 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-74591-4 https://find.library.upatras.gr/Record/978-3-540-74591-4 Electronic eBook 2007 0 Quick Hits in Emergency Medicine Tue, 01 Jan 2013 06:08:06 +0200 https://find.library.upatras.gr/Record/978-1-4614-7037-3 https://find.library.upatras.gr/Record/978-1-4614-7037-3 Allen, Brandon Electronic eBook 2013 Allen, Brandon 0 Practical Aspects of Declarative Languages 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings / Thu, 01 Jan 2009 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-540-92995-6 https://find.library.upatras.gr/Record/978-3-540-92995-6 Electronic eBook 2009 0 Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / Tue, 01 Jan 2013 06:08:06 +0200 https://find.library.upatras.gr/Record/978-3-642-45221-5 https://find.library.upatras.gr/Record/978-3-642-45221-5 Electronic eBook 2013 0