Regular Papers
atalog: A logic language for expressing search and optimization problems
-
- Published online by Cambridge University Press:
- 18 January 2010, pp. 125-166
-
- Article
- Export citation
Multivalued action languages with constraints in CLP(FD)1
-
- Published online by Cambridge University Press:
- 18 February 2010, pp. 167-235
-
- Article
- Export citation
Book Review
Handbook of Practical Logic and Automated Reasoning, John Harrison, Cambridge University Press, 2009. Hardcover, ISBN-13: 978-0-521-89957-4, 681 pp. + xix, $135.00.
-
- Published online by Cambridge University Press:
- 03 February 2010, pp. 237-241
-
- Article
- Export citation
Front Cover (OFC, IFC) and matter
TLP volume 10 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 18 February 2010, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back Cover (IBC, OBC) and matter
TLP volume 10 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 18 February 2010, pp. b1-b5
-
- Article
-
- You have access
- Export citation