Introduction to Computational Logic (SS 2014) [lecture...

Main
Introduction to Computational Logic (SS...

Introduction to Computational Logic (SS 2014) [lecture notes]

Gert Smolka, Chad E. Brown

0 / 0

यह पुस्तक आपको कितनी अच्छी लगी?

फ़ाइल की गुणवत्ता क्या है?

पुस्तक की गुणवत्ता का मूल्यांकन करने के लिए यह पुस्तक डाउनलोड करें

डाउनलोड की गई फ़ाइलों की गुणवत्ता क्या है?

साल:

2014

भाषा:

english

पृष्ठ:

204

फ़ाइल:

PDF, 1.24 MB

IPFS:

,

english, 2014

ऑनलाइन पढ़ें

में रूपांतरण जारी है

में रूपांतरण विफल रहा

आप के लिए दिलचस्प हो सकता है

Matt Kaufmann Lawrence C. Paulson (Eds.) — Interactive Theorem Proving(2010)

Gèrard Huet, Gordon Plotkin — Logical frameworks

it-ebooks — Homotopy Type Theory Lecture Notes (CMU 15-819)

it-ebooks — Software Foundations

Chlipala, Adam — Certified Programming With Dependent Types

The Univalent Foundations Program — Homotopy Type Theory: Univalent Foundations of Mathematics

Adam Chlipala — Certified Programming with Dependent Types (draft 2015)

Aczel Peter et al. — Homotopy Type Theory. Univalent Foundations of Mathematics

Chlipala A — Certified programming with dependent types

Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Brent Yorgey — Software Foundations 1 LOGICAL FOUNDATIONS

Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Andrew Tolmach, Brent Yorgey — Software Foundations vol 2 Programming Language Foundations

Andrew W. Appel — Software Foundations Vol 3 Verified Functional Algorithms

Simon Thompson — Type theory and functional programming

James Hein — Discrete mathematics

Daniel R. Licata, Guillaume Brunerie (auth.), Georges Gonthier, Michael Norrish (eds.) — Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan — Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.) — Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.) — Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Andreas Abel (auth.), Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith (eds.) — Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers

Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.) — Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Ricky Butler (auth.), Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.) — Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

René Ahn (auth.), Peter Dybjer, Bengt Nordström, Jan Smith (eds.) — Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers

Robin Adams, Zhaohui Luo (auth.), Thorsten Altenkirch, Conor McBride (eds.) — Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Constance L. Heitmeyer (auth.), Klaus Schneider, Jens Brandt (eds.) — Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

Davide Ancona, Giovanni Lagorio, Elena Zucca (auth.), Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro (eds.) — Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Anne Baanen, Alexander Bentkamp, Jasmin Blanchette, Johannes Hölzl, Jannis Limperg — The Hitchhiker’s Guide to Logical Verification

Gerwin Klein (auth.), Matt Kaufmann, Lawrence C. Paulson (eds.) — Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Dominique Bolignano (auth.), Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (eds.) — Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

Dirk van Dalen — Logic and Structure

सबसे उपयोगी शब्द