Theorem proving in higher order logics
by TPHOLs '96 (1996 Turku, Finland)
- ISBN
- 9783540615873
Theorem proving in higher order logics is a automatic theorem proving book by TPHOLs '96 (1996 Turku, Finland).
Discover Theorem proving in higher order logics by TPHOLs '96 (1996 Turku, Finland), automatic theorem proving.
About the Author
TPHOLs '96 (1996 Turku, Finland) 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 TPHOLs '96 (1996 Turku, Finland).