Interactive theorem proving and program development
by Yves Bertot
ISBN
3540208542
Interactive theorem proving and program development is a automatic theorem proving, computer programming book by Yves Bertot.
Discover Interactive theorem proving and program development by Yves Bertot, automatic theorem proving.
About the Author
is the author of Interactive theorem proving and program development. Browse their full catalog on Booklogr.
Explore more books by Yves Bertot →Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Interactive theorem proving and program development?+
Interactive theorem proving and program development is a Automatic theorem proving, Computer programming, Calculus of operations, Proof theory, Formal languages book.
Who wrote Interactive theorem proving and program development?+
Interactive theorem proving and program development was written by Yves Bertot.