Translate

Read Computational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Artificial Intelligence 395) Hardcover