Interactive theorem proving and program development View on Open Library

Interactive theorem proving and program development

by Yves Bertot

No reviews yet
First published: 2004 1 language ISBN: 3540208542
Subjects
Automatic theorem proving Computer programming Calculus of operations Proof theory Formal languages Software engineering

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Yves Bertot

From semantics to computer science

From semantics to computer science

Theorem proving in higher order logics

Theorem proving in higher order logics

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

Proceedings of the 6th ACM SIGPLAN Confe...

Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program ...

You Might Also Like

More in Automatic theorem pr...
Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelli...

Moshe Y. Vardi
Logic for computer science

Logic for computer science

Jean H. Gallier
Logic Programming

Logic Programming

James H. Andrews
Certified Programming with Dependent Types

Certified Programming with Dependent Typ...

Adam Chlipala
Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intell...

Ken McMillan
Automated deduction

Automated deduction

W. Bibel