Logic Programming over Polymorphically Order-Sorted Types (Cambridge Tracts in Theoretical Computer Science)

by G. Smolka

Hardcover

details (USA).

ISBN: 978-0-521-39197-9

ISBN-10: 0-521-39197-0

Cambridge University Press · 1999