Theory and Practice of Logic Programming (TPLP)
Book Reviews
- Logic in Computer Science: Modelling and Reasoning about Systems by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press, 2000, ISBN 0521652006, (hardback), ISBN 0521656028, (paperback), Femke van Raamsdonk. (pp 123-125)
[html]
[pdf]
- Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer, 2001, paperback: ISBN 1-85233-319-7, Krzysztof R. Apt. (pp 123-124)
[html]
[pdf]
- Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn, The MIT Press, ISBN 0-262-08289-6,Yde Venema. (pp 419-421)
[html]
[pdf]
- Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001, ISBN 0-387-95197-0, Agostino Dovier. (pp 125 - 128)
[html]
[pdf]
- Introduction to Constraint Databases by Peter Revesz. Texts in Computer Science, Springer-Verlag, 2002, ISBN 0-387-98729-0, xiv + 393 pages, 112 illustrations, hardcover, Bart Kuijpers. (pp 765 - 767)
[html]
[pdf]
- Programming Constraint Services: High level Programming of Standard and New Constraint Services by Christian Schulte. Springer 2002, LNAI 2302, ISBN 3-540-43371-6, François Laburthe. (pp 233 - 235)
[html]
[pdf]
- Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University press, 2003, ISBN 0-521-81802-8, Miroslaw Truszczynski. (pp 237 - 239)
[html]
[pdf]
- Eric Monfroy: Essentials of Constraint Programming
by Thom Fruhwirth and Slim Abdennadher,
Springer, 2003,
hard cover: ISBN 3-540-67623-6, ix + 145 pages.
(pp 381-382)
[html]
[pdf]
- Femke van Raamsdonk: Book review:
Advanced Topics in Term Rewriting
by Enno Ohlebusch, Springer-Verlag, 2002,
hard cover: ISBN 0-387-95250-0, xi + 414 pages.
(pp 539-541)
[html]
[pdf]
- Peter Flach: Book review:
Logic for Learning: Learning Comprehensible
Theories from Structured Data
by by John W. Lloyd, Springer-Verlag, 2003,
hard cover: ISBN 3-540-42027-4, x + 256 pages.
(pp 753-755)
[html]
[pdf]
- Roland H.C. Yap: Book review:
Constraint Processing
by Rina Dechter, Morgan Kaufmann Publishers, 2003,
hard cover: ISBN 1-55860-890-7, xx + 481 pages
(pp 755-757)
[html]
[pdf]
- Francesca Rossi: Book review:
Principles of Constraint Programming
by Krzysztof R. Apt, Cambridge University Press, 2003,
hard cover: ISBN 0-521-82583-0, xii + 407 pages.
(pp 758-762)
[html]
[pdf]
- Bart Demoen: Programming in Prolog. Using the ISO Standard
by William F. Clocksin , Christopher S. Mellish, Springer-Verlag, 2003,
ISBN 3-540-00678-8, xiii + 299 pages [html] [pdf]
- Nachum Dershowitz: Term Rewriting Systems by Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds., Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6, xxii + 884 pages [html] [pdf]
- Yves Deville: Concepts, Techniques, and Models of Computer Programming by Peter Van Roy and Seif Haridi, MIT Press, 2004, hard cover:
ISBN 0-262-22069-5, xxvii + 900 pages, 55 US$ [html] [pdf]
- Victor W. Marek: Explanatory Nonmonotonic Reasoning by Alexander Bochman,
World Scientific Publishing,
Hardback: ISBN 981-256-101-3, Price: $68.00 xiv + 408 pages.
[html] [pdf]
- Bart Demoen: Learn Prolog Now! by Patrick Blackburn, Johan Bos, Kristina Striegnitz,
College Publications, 2006
Paperback: ISBN 1-904987-17-6, Price: £12
xiv + 265 pages.
[html] [pdf]
- Peter Stuckey: Constraint Logic Programming using ECLiPSe by
Krzysztof Apt and Mark Wallace,
Cambridge University Press, 2007,
ISBN 0521866286, 9780521866286, Price: £35.00,
329 pages
[html] [pdf]
- Femke van Raamsdonk: Lambda-Calculus and Combinators, an Introduction, 2nd Edition by J. Roger Hindley and Jonathan P. Seldin
Cambridge University Press, 2008,
Hardback, ISBN-13: 9780521898850, $ 70.00
[html] [pdf]
- Jeremy Avigad: Handbook of Practical Logic and Automated Reasoning, by John Harrison
Cambridge University Press, 2009
Hardback, ISBN-13: 9780521899574) £75.00
[html] [pdf]
- Eric Monfroy: Constraint Handling Rules by Thom Fr\"{u}hwirth Cambridge
University Press, 2009, hard cover: ISBN 978-0-521-87776-3. £45
[html] [pdf]
- Marijn Heule: Introduction to Mathematics of Satisfiability by Victor W. Marek
Chapman & Hall/CRC, 2009
Hardback, ISBN-13: 9781439801673, $ 89.95
[html] [pdf]
- Wei Li: Mathematical Logic by Rosella Gennari.
Birkhauser, 2010
Hardback, ISBN-13: ISBN-978-3-7643-9976-4, about $ 70
[html] [pdf]