2 results
Thinking as Computation: A First Course by Hector J. Levesque, The MIT Press, 2012. Hardcover, ISBN 978-0-262-01699-5, xx + 299 pp.
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 1 / January 2013
- Published online by Cambridge University Press:
- 09 January 2013, pp. 143-145
-
- Article
- Export citation
Proving correctness and completeness of normal programs – a declarative approach
-
- Journal:
- Theory and Practice of Logic Programming / Volume 5 / Issue 6 / November 2005
- Published online by Cambridge University Press:
- 31 October 2005, pp. 669-711
-
- Article
- Export citation