by James H. Andrews
Paperback
ISBN: 978-0-521-60754-4
ISBN-10: 0-521-60754-X
Cambridge University Press · 2008
|
|
by James H. AndrewsPaperback
ISBN: 978-0-521-60754-4 ISBN-10: 0-521-60754-X Cambridge University Press · 2008 |
| See also: | ||
| 1992 | Hardcover | Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science) |