[DL] 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

Previous message (by thread): [DL] SAVE-SD 2015 CFP Deadline Extension
Next message (by thread): [DL] CfPart: Modal Logics and Description Logics - MSc distance learning course
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

Previous message (by thread): [DL] SAVE-SD 2015 CFP Deadline Extension
Next message (by thread): [DL] CfPart: Modal Logics and Description Logics - MSc distance learning course
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the dl mailing list