Using sophisticated models in resolution theorem proving
ISBN
0387102310
Using sophisticated models in resolution theorem proving is a automatic theorem proving, data processing book by David M. Sandford.
Discover Using sophisticated models in resolution theorem proving by David M. Sandford, automatic theorem proving.
About the Author
David M. Sandford is the author of Using sophisticated models in resolution theorem proving. 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 Using sophisticated models in resolution theorem proving?+
Using sophisticated models in resolution theorem proving is a Automatic theorem proving, Data processing, Mathematics, Mathematical models book.
Who wrote Using sophisticated models in resolution theorem proving?+
Using sophisticated models in resolution theorem proving was written by David M. Sandford.