Guarded Horn Clauses (Logic Programming Series)
Publisher: Mit Pr
Published: January 1992
Language: eng
Format: Hardcover
ISBN-13: 9780262210119
Subjects: Programming languages; Computer Programming Languages; GHC (Computer program language); Computer Books: Operating Systems