Theorem proving in higher order logics
ISBN
9783540230175
Theorem proving in higher order logics is a automatic theorem proving book by .
Discover Theorem proving in higher order logics by , automatic theorem proving.
About the Author
is the author of Theorem proving in higher order logics. Browse their full catalog on Booklogr.
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 Theorem proving in higher order logics?+
Theorem proving in higher order logics is a Automatic theorem proving book.
Who wrote Theorem proving in higher order logics?+
Theorem proving in higher order logics was written by .