Advertisement

Search Results

Showing results for "Interactive Theorem Proving"

Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

Yves Bertot
Interactive Theorem Proving in Software Engineering

Interactive Theorem Proving in Software Engineering

Florian Kammüller
Logical frames for interactive theorem proving (Technical report series. University of Manchester. Dept. of Computer Science)

Logical frames for interactive theorem proving (Technical report series. University of Manchester. Dept. of Computer Science)

Peter A Lindsay
Interactive Theorem Proving and Program (text only) by Y.Bertot.P. Castéran.P.CastTran

Interactive Theorem Proving and Program (text only) by Y.Bertot.P. Castéran.P.CastTran

Y.Bertot.P. Castéran.P.CastTran
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (SpringerBriefs in Applied Sciences and Technology)

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (SpringerBriefs in Applied Sciences and Technology)

Asad Ahmed
interactive theorem proving and program development: Coq inductive calculus of constructions of art

interactive theorem proving and program development: Coq inductive calculus of constructions of art

YI SI ?BO TUO TE ?PI ER ?KA SI TE LAN BIAN ZHU ?GU MING DENG
Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science, 6172)

Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science, 6172)

Matt Kaufmann
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... Notes in Computer Science Book 10895)

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... Notes in Computer Science Book 10895)

Jeremy Avigad
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science) (2014-08-01)

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science) (2014-08-01)

Unknown Author
[(Interactive Theorem Proving )] [Author: Marko van Eekelen] [Sep-2011]

[(Interactive Theorem Proving )] [Author: Marko van Eekelen] [Sep-2011]

Unknown Author
Interactive theorem proving with Cambridge LCF: A user's manual (TR. University of Cambridge, Computer Laboratory)

Interactive theorem proving with Cambridge LCF: A user's manual (TR. University of Cambridge, Computer Laboratory)

Lawrence C Paulson
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... Notes in Computer Science Book 10895)

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... Notes in Computer Science Book 10895)

Jeremy Avigad
[Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)] [Author: Bertot, Yves] [May, 2004]

[Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)] [Author: Bertot, Yves] [May, 2004]

Yves Bertot
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Theoretical Computer Science and General Issues)

Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Theoretical Computer Science and General Issues)

Jasmin Christian Blanchette
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... Computer Science and General Issues)

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... Computer Science and General Issues)

Jeremy Avigad
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, 7406)

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, 7406)

Lennart Beringer
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings (Theoretical Computer Science and General Issues)

Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings (Theoretical Computer Science and General Issues)

Mauricio Ayala-Rincon
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science) (2011-08-02)

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science) (2011-08-02)

Unknown Author