Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Book Details
Author(s)
Schmidt-Schauß, Manfred
Publisher
Springer
ISBN / ASIN
3540517057
ISBN-13
9783540517054
Availability
In Stock.
Sales Rank
#1,117,046
Marketplace
United States 🇺🇸
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
