[Om-announce] Book announcement: Robert Kowalski, LOGIC FOR PROBLEM SOLVING, REVISITED

Jon Sneyers Jon.Sneyers at CS.KULEUVEN.BE
Mon Jan 19 11:13:25 CET 2015


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.


More information about the Om-announce mailing list