Interactive Theorem Proving and Program Development

Interactive Theorem Proving - ITP 2011

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris...

Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions

First-order Logic and Automated Theorem Proving

Automated theorem proving in software engineering

Conditional and Preferential Logics: Proof Methods and Theorem Proving

CONDITIONAL AND PREFERENTIAL LOGICS: PROOF METHODS AND THEOREM PROVING Frontiers in Artificial Intelligence and Appli...

Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris...

Theorem Proving in Higher Order Logics, 12 conf., TPHOLs'99

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1690 3 Berlin Heidelberg New Yor...

Theorem Proving in Higher Order Logics, 15 conf., TPHOLs 2002

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 2410 3 Berlin Heidelberg New Y...

Theorem Proving in Higher Order Logics, 9 conf., TPHOLs'96

Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 2152 3 Berlin Heidelberg New Yo...

Interactive Theorem Proving and Program Development

Interactive Theorem Proving - ITP 2011

Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions

First-order Logic and Automated Theorem Proving

Automated theorem proving in software engineering

Conditional and Preferential Logics: Proof Methods and Theorem Proving

Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Theorem Proving in Higher Order Logics, 12 conf., TPHOLs'99

Theorem Proving in Higher Order Logics, 15 conf., TPHOLs 2002

Theorem Proving in Higher Order Logics, 9 conf., TPHOLs'96

Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001

Theorem Proving in Higher Order Logics, 21 conf., TPHOLs 2008

Theorem Proving in Higher Order Logics, 20 conf., TPHOLs 2007

Logic for computer science: foundations of automatic theorem proving

Theorem Proving in Higher Order Logics, 11 conf., TPHOLs'98

Theorem Proving in Higher Order Logics, 18 conf., TPHOLs 2005

Theorem Proving in Higher Order Logics, 16 conf., TPHOLs 2003

Theorem Proving in Higher Order Logics, 13 conf., TPHOLs 2000

Theorem proving in higher order logics, 17 conf., TPHOLs 2004

Theorem Proving in Higher Order Logics, 10 conf., TPHOLs'97

Proving Herself

Conditional and Preferential Logics: Proof Methods and Theorem Proving (Frontiers in Artificial Intelligence and Applications)

Conditional and Preferential Logics: Proof Methods and Theorem Proving (Frontiers in Artificial Intelligence and Applications)

Holt English Language Development Interactive Reader

DirectX Audio Exposed: Interactive Audio Development

Proving God

Theorem Proving with Analytic Tableaux and Related Methods 5 conf., TABLEAUX '96

First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science)

Finding Primes And Proving Primality

the Proving Trail

Interactive Theorem Proving and Program Development

Interactive Theorem Proving - ITP 2011