Explore Books on
ordnungssortierte logik
1-1 of 1 Books
View Computational aspects of an order-sorted logic with term declarations By Manfred Schmidt-Schauss 
Computational aspects of an order-sorted logic with term declarations
By Manfred Schmidt-Schauss