Interactive Theorem Proving
ISBN
9783642228629
Interactive Theorem Proving is a logic design, software engineering book by M. C. J. D. van Eekelen.
Discover Interactive Theorem Proving by M. C. J. D. van Eekelen, logic design.
About the Author
is the author of Interactive Theorem Proving. Browse their full catalog on Booklogr.
Explore more books by M. C. J. D. van Eekelen →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?+
Interactive Theorem Proving is a Logic design, Software engineering, Computer science, Artificial intelligence, Automatic theorem proving book.
Who wrote Interactive Theorem Proving?+
Interactive Theorem Proving was written by M. C. J. D. van Eekelen.