Guarded Horn Clauses (Logic Programming Series)

by Kazunori Ueda

Hardcover

ISBN: 978-0-262-21011-9

ISBN-10: 0-262-21011-8

Mit Pr · 1992