Computational Aspects Of An Ordersorted Logic With Term Declarations
- ISBN
- 9783540517054
Computational Aspects Of An Ordersorted Logic With Term Declarations is a logic, symbolic and mathematical, sorting book by Manfred Schmidt-Schau.
Discover Computational Aspects Of An Ordersorted Logic With Term Declarations by Manfred Schmidt-Schau, logic, symbolic and mathematical.
About the Author
Manfred Schmidt-Schau is the author of Computational Aspects Of An Ordersorted 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 Ordersorted Logic With Term Declarations?+
Computational Aspects Of An Ordersorted Logic With Term Declarations is a Logic, symbolic and mathematical, Sorting book.
Who wrote Computational Aspects Of An Ordersorted Logic With Term Declarations?+
Computational Aspects Of An Ordersorted Logic With Term Declarations was written by Manfred Schmidt-Schau.