LNCS 4732 - Theorem Proving in Higher Order Logics...

Main
LNCS 4732 - Theorem Proving in Higher...

LNCS 4732 - Theorem Proving in Higher Order Logics (Frontmatter Pages)

Klaus Schneider & Jens Brandt

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Theorem Proving in Higher Order Logics

Tahun:

2009

Bahasa:

spanish

ISBN 10:

3540745904

ISBN 13:

9783540745907

File:

AZW3 , 1.31 MB

IPFS:

,

spanish, 2009

Membaca daring

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

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

Chlipala, Adam — Certified Programming With Dependent Types

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

L.J.M. Claesen, M.J.C. Gordon — Higher Order Logic Theorem Proving and its Applications. Proceedings of the IFIP Tc10/wg 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications–HOL '92 Organized by CHEOPS ESPRIT BRA 3215, Leuven, Belgium, 21–24 September 1

Nicolas Peltier, Viorica Sofronie-Stokkermans — Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Christoph Benzmüller, Bruce Miller — Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings

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

England, Matthew; Geuvers, Herman; Hasan, Osman; Rabe, Florian; Teschke, Olaf — Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Jeremy Avigad, Assia Mahboubi — Interactive Theorem Proving

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

Mauro Gargano, Mark Hillebrand, Dirk Leinenbach, Wolfgang Paul (auth.), Joe Hurd, Tom Melham (eds.) — Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. 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

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

Sten Agerholm (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy, John Harrison (eds.) — Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Sten Agerholm, Jacob Frost (auth.), Elsa L. Gunter, Amy Felty (eds.) — Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings

Aarti Gupta (auth.), Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.) — Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.) — Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

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

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

Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.) — Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Greg Morrisett (auth.), Chris Hawblitzel, Dale Miller (eds.) — Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. 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

Istilah kunci