by Frank Pfenning
Hardcover
ISBN: 978-0-262-16131-2
ISBN-10: 0-262-16131-1
The MIT Press · 1992
|
|
by Frank PfenningHardcover
ISBN: 978-0-262-16131-2 ISBN-10: 0-262-16131-1 The MIT Press · 1992 |
| See also: | ||
| 1992 | Paperback | Types in Logic Programming (Logic Programming) |