- From: Jon Sneyers <Jon.Sneyers@CS.KULEUVEN.BE>
- Date: Mon, 19 Jan 2015 11:13:25 +0100
- To: ANNOUNCEPPDPLOPSTR@LS.KULEUVEN.BE
New Book Robert Kowalski LOGIC FOR PROBLEM SOLVING, REVISITED ISBN 9783837036299 Also available as E-Book http://books.google.de/books?id=6vh1BQAAQBAJ&hl=en Algorithm = Logic + Control Robert Kowalski revisits his classic text on Computational Logic in the light of subsequent developments, extending it by a substantial commentary of fifty pages.
Received on Monday, 19 January 2015 10:15:18 UTC