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
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
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: 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: 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
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Lecture Notes in Computer Science Book 9236)

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Lecture Notes in Computer Science Book 9236)

Christian Urban
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Theoretical Computer Science and General Issues)

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Theoretical Computer Science and General Issues)

Christian Urban
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: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Computer Science and General Issues)

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Computer Science and General Issues)

Gerwin Klein
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: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Lecture Notes in Computer Science Book 9807)

Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Lecture Notes in Computer Science Book 9807)

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, ... 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: 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, ... 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