Results for "formal proof"

Results for "formal proof" Showing 1 - 50 results of 89 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22formal+proof%22&type=AllFields&lng=en 89 0 50 Fundamental Approaches to Software Engineering 19th International Conference, FASE 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 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-662-49665-7 https://find.library.upatras.gr/Record/978-3-662-49665-7 Electronic eBook 2016 0 Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / Wed, 01 Jan 2003 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-540-39893-6 https://find.library.upatras.gr/Record/978-3-540-39893-6 Electronic eBook 2003 0 Logical Aspects of Computational Linguistics First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers / Wed, 01 Jan 1997 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-540-69631-5 https://find.library.upatras.gr/Record/978-3-540-69631-5 Electronic eBook 1997 0 Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings / Wed, 01 Jan 2003 07:54:04 +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 Public Key Cryptography 5th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris, France, February 12-14, 2002 Proceedings / Tue, 01 Jan 2002 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-540-45664-3 https://find.library.upatras.gr/Record/978-3-540-45664-3 Electronic eBook 2002 0 Stochastic Algorithms: Foundations and Applications International Symposium, SAGA 2001 Berlin, Germany, December 13-14, 2001 Proceedings / Mon, 01 Jan 2001 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-540-45322-2 https://find.library.upatras.gr/Record/978-3-540-45322-2 Electronic eBook 2001 0 Interacting Code Motion Transformations: Their Impact and Their Complexity Thu, 01 Jan 1998 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-540-49209-2 https://find.library.upatras.gr/Record/978-3-540-49209-2 Rüthing, Oliver Electronic eBook 1998 Rüthing, Oliver 0 Theorem Proving in Higher Order Logics 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings / Fri, 01 Jan 1999 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-540-48256-7 https://find.library.upatras.gr/Record/978-3-540-48256-7 Electronic eBook 1999 0 Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures / Mon, 01 Jan 2001 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-540-44667-5 https://find.library.upatras.gr/Record/978-3-540-44667-5 Electronic eBook 2001 0 Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / Fri, 01 Jan 2016 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-319-33600-8 https://find.library.upatras.gr/Record/978-3-319-33600-8 Electronic eBook 2016 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 07:54:04 +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 Computer Aided Systems Theory - EUROCAST '97 A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings / Wed, 01 Jan 1997 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-540-69651-3 https://find.library.upatras.gr/Record/978-3-540-69651-3 Electronic eBook 1997 0 Smart Card. Research and Applications Third International Conference, CARDIS'98 Louvain-la-Neuve, Belgium, September 14-16, 1998 Proceedings / Sat, 01 Jan 2000 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-540-44534-0 https://find.library.upatras.gr/Record/978-3-540-44534-0 Electronic eBook 2000 0 FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II / Fri, 01 Jan 1999 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-540-48118-8 https://find.library.upatras.gr/Record/978-3-540-48118-8 Electronic eBook 1999 0 Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / Thu, 01 Jan 2004 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-540-24849-1 https://find.library.upatras.gr/Record/978-3-540-24849-1 Electronic eBook 2004 0 Optimal Design through the Sub-Relaxation Method Understanding the Basic Principles / Fri, 01 Jan 2016 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-319-41159-0 https://find.library.upatras.gr/Record/978-3-319-41159-0 Pedregal, Pablo Electronic eBook 2016 Pedregal, Pablo 0 Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings / Fri, 01 Jan 2016 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-319-33951-1 https://find.library.upatras.gr/Record/978-3-319-33951-1 Electronic eBook 2016 0 Whole-Body Impedance Control of Wheeled Humanoid Robots Fri, 01 Jan 2016 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-319-40557-5 https://find.library.upatras.gr/Record/978-3-319-40557-5 Dietrich, Alexander Electronic eBook 2016 Dietrich, Alexander 0 Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics Mon, 01 Jan 2018 07:54:04 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10917 https://find.library.upatras.gr/Record/nemertes-10889-10917 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Elementary engineering mechanics applications of the OTTER automated reasoning system Mon, 01 Jan 2018 07:54:04 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10919 https://find.library.upatras.gr/Record/nemertes-10889-10919 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Logic, Mathematics, and Computer Science Modern Foundations with Practical Applications / Thu, 01 Jan 2015 07:54:04 +0200 https://find.library.upatras.gr/Record/978-1-4939-3223-8 https://find.library.upatras.gr/Record/978-1-4939-3223-8 Nievergelt, Yves Electronic eBook 2015 Nievergelt, Yves 0 Building the Information Society IFIP 18th World Computer Congress Topical Sessions 22–27 August 2004 Toulouse, France / Thu, 01 Jan 2004 07:54:04 +0200 https://find.library.upatras.gr/Record/978-1-4020-8157-6 https://find.library.upatras.gr/Record/978-1-4020-8157-6 Electronic eBook 2004 0 Model Engineering in Mixed-Signal Circuit Design A Guide to Generating Accurate Behavioral Models in VHDL-AMS / Mon, 01 Jan 2001 07:54:04 +0200 https://find.library.upatras.gr/Record/978-0-306-48101-7 https://find.library.upatras.gr/Record/978-0-306-48101-7 Huss, Sorin A. Electronic eBook 2001 Huss, Sorin A. 0 Goguen Categories A Categorical Approach to L-fuzzy Relations / Mon, 01 Jan 2007 07:54:04 +0200 https://find.library.upatras.gr/Record/978-1-4020-6164-6 https://find.library.upatras.gr/Record/978-1-4020-6164-6 Winter, Michael Electronic eBook 2007 Winter, Michael 0 Real Analysis for the Undergraduate With an Invitation to Functional Analysis / Wed, 01 Jan 2014 07:54:04 +0200 https://find.library.upatras.gr/Record/978-1-4614-9638-0 https://find.library.upatras.gr/Record/978-1-4614-9638-0 Pons, Matthew A. Electronic eBook 2014 Pons, Matthew A. 0 Propositional and Predicate Calculus A Model of Argument Sat, 01 Jan 2005 07:54:04 +0200 https://find.library.upatras.gr/Record/978-1-84628-229-4 https://find.library.upatras.gr/Record/978-1-84628-229-4 Goldrei, Derek Electronic eBook 2005 Goldrei, Derek 0 Constraint Theory Multidimensional Mathematical Model Management / Sun, 01 Jan 2017 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-319-54792-3 https://find.library.upatras.gr/Record/978-3-319-54792-3 Friedman, George J. Electronic eBook 2017 Friedman, George J. 0 Saddlepoint Approximation Methods in Financial Engineering Mon, 01 Jan 2018 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-319-74101-7 https://find.library.upatras.gr/Record/978-3-319-74101-7 Kwok, Yue Kuen Electronic eBook 2018 Kwok, Yue Kuen 0 Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings / Tue, 01 Jan 2008 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-540-87873-5 https://find.library.upatras.gr/Record/978-3-540-87873-5 Electronic eBook 2008 0 Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / Tue, 01 Jan 2013 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-642-40672-0 https://find.library.upatras.gr/Record/978-3-642-40672-0 Electronic eBook 2013 0 Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / Wed, 01 Jan 2014 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-319-08970-6 https://find.library.upatras.gr/Record/978-3-319-08970-6 Electronic eBook 2014 0 The Seventeen Provers of the World Foreword by Dana S. Scott / Sun, 01 Jan 2006 07:54:04 +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 07:54:04 +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 Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures / Sun, 01 Jan 2012 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-642-35746-6 https://find.library.upatras.gr/Record/978-3-642-35746-6 Electronic eBook 2012 0 Managing Knowledge in a World of Networks 15th International Conference, EKAW 2006, Poděbrady, Czech Republic, October 2-6, 2006. Proceedings / Sun, 01 Jan 2006 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-540-46365-8 https://find.library.upatras.gr/Record/978-3-540-46365-8 Electronic eBook 2006 0 Computer Security - ESORICS 2008 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings / Tue, 01 Jan 2008 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-540-88313-5 https://find.library.upatras.gr/Record/978-3-540-88313-5 Electronic eBook 2008 0 Deduction, Computation, Experiment Exploring the Effectiveness of Proof / Tue, 01 Jan 2008 07:54:04 +0200 https://find.library.upatras.gr/Record/978-88-470-0784-0 https://find.library.upatras.gr/Record/978-88-470-0784-0 Electronic eBook 2008 0 Logic: A Brief Course Sun, 01 Jan 2012 07:54:04 +0200 https://find.library.upatras.gr/Record/978-88-470-2361-1 https://find.library.upatras.gr/Record/978-88-470-2361-1 Mundici, Daniele Electronic eBook 2012 Mundici, Daniele 0 Graph Theory with Algorithms and its Applications In Applied Science and Technology / Tue, 01 Jan 2013 07:54:04 +0200 https://find.library.upatras.gr/Record/978-81-322-0750-4 https://find.library.upatras.gr/Record/978-81-322-0750-4 Saha Ray, Santanu Electronic eBook 2013 Saha Ray, Santanu 0 Computational Logic and Set Theory Applying Formalized Logic to Analysis / Sat, 01 Jan 2011 07:54:04 +0200 https://find.library.upatras.gr/Record/978-0-85729-808-9 https://find.library.upatras.gr/Record/978-0-85729-808-9 Schwartz, Jacob T. Electronic eBook 2011 Schwartz, Jacob T. 0 Theory of Applied Robotics Kinematics, Dynamics, and Control (2nd Edition) / Fri, 01 Jan 2010 07:54:04 +0200 https://find.library.upatras.gr/Record/978-1-4419-1750-8 https://find.library.upatras.gr/Record/978-1-4419-1750-8 Jazar, Reza N. Electronic eBook 2010 Jazar, Reza N. 0 On Sets and Graphs Perspectives on Logic and Combinatorics / Sun, 01 Jan 2017 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-319-54981-1 https://find.library.upatras.gr/Record/978-3-319-54981-1 Omodeo, Eugenio G. Electronic eBook 2017 Omodeo, Eugenio G. 0 Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / Sun, 01 Jan 2017 07:54:04 +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 Model-Implementation Fidelity in Cyber Physical System Design Sun, 01 Jan 2017 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-319-47307-9 https://find.library.upatras.gr/Record/978-3-319-47307-9 Electronic eBook 2017 0 Applied Logic for Computer Scientists Computational Deduction and Formal Proofs / Sun, 01 Jan 2017 07:54:04 +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 Electronic eBook 2017 Ayala-Rincón, Mauricio 0 Automated Deduction - CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings / Tue, 01 Jan 2019 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-030-29436-6 https://find.library.upatras.gr/Record/978-3-030-29436-6 Electronic eBook 2019 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 07:54:04 +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 Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I / Fri, 01 Jan 2010 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-642-13119-6 https://find.library.upatras.gr/Record/978-3-642-13119-6 Electronic eBook 2010 0 Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings / Fri, 01 Jan 2010 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-642-13977-2 https://find.library.upatras.gr/Record/978-3-642-13977-2 Electronic eBook 2010 0 Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / Fri, 01 Jan 2010 07:54:04 +0200 https://find.library.upatras.gr/Record/978-3-642-14052-5 https://find.library.upatras.gr/Record/978-3-642-14052-5 Electronic eBook 2010 0