Computational aspects of an order-sorted logic with term declarations
- ISBN
- 0387517057
Computational aspects of an order-sorted logic with term declarations is a sorting, symbolic and mathematical logic book by M. Schmidt-Schauss.
Discover Computational aspects of an order-sorted logic with term declarations by M. Schmidt-Schauss, sorting.
About the Author
M. Schmidt-Schauss is the author of Computational aspects of an order-sorted logic with term declarations. 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 Computational aspects of an order-sorted logic with term declarations?+
Computational aspects of an order-sorted logic with term declarations is a Sorting, Symbolic and mathematical Logic book.
Who wrote Computational aspects of an order-sorted logic with term declarations?+
Computational aspects of an order-sorted logic with term declarations was written by M. Schmidt-Schauss.