Logic Programming over Polymorphically Order-Sorted Types
Publisher: University of Cambridge ESOL Examinations
Published: 1998
Language: eng
Number of pages: 250
ISBN-13: 9780521391979
Subjects: Logic, symbolic and mathematical