by Frank Pfenning
Paperback
ISBN: 978-0-262-51993-9
ISBN-10: 0-262-51993-3
MIT Press · 1992
|
|
by Frank PfenningPaperback
ISBN: 978-0-262-51993-9 ISBN-10: 0-262-51993-3 MIT Press · 1992 |
| See also: | ||
| 1992 | Hardcover | Types in Logic Programming (Logic Programming) |