[logical-books] Books for Programming in Logic
Thom Fruehwirth <[email protected]> Mon, 23 Jun 2014 12:37:18 +0200
| Newsgroups | gmane.comp.ai.prolog.yap.general,gmane.comp.lang.swi-prolog.general,gmane.comp.lang.lambda-prolog,gmane.comp.ai.prolog.ciao.general,gmane.comp.ai.prolog.xsb.general,gmane.comp.lang.haskell.general,gmane.comp.lang.mercury.advertisments,gmane.comp.lang.mozart.user,gmane.comp.java.jess |
|---|---|
| Message-ID | <[email protected]> |
Are you logically experienced? New books for you: Tsang - Foundations of Constraint Satisfaction http://books.google.com/books?id=3DUFmRAwAAQBAJ&dq=3Disbn:9783735723666 ISBN 9783735723666 Wielemaker - SWI Prolog Reference Manual http://www.amazon.de/SWI-Prolog-Reference-Manual-7-1/dp/3735738036/ ISBN 9783735738035 Carlsson - SICStus Prolog User's Manual http://www.amazon.de/SICStus-Prolog-Users-Manual-4-3/dp/3735737447/ ISBN 9783735737441 Fr=FChwirth/Raiser - Constraint Handling Rules: Compilation, Execution, and Analysis http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/chr-thesis= -book.html ISBN 9783839115916 Upcoming: Kowalski revisits Logic for Problem Solving Best Regards, Thom Fruehwirth, University of Ulm This is a one-time posting only. If you want to receive more information = on such books, join the newsletter of [logical-books]. -- = [logical-books] Information about high-quality scientific books and textbooks published by researchers for researchers and students in Computer Science and other academic fields. --- To subscribe, send email to logical-books+subscribe-/[email protected] Visit this group at https://groups.google.com/d/forum/logical-books ---------------------------------------------------------------------------= --- Open source business process management suite built on Java and Eclipse Turn processes into business applications with Bonita BPM Community Edition Quickly connect people, data, and systems into organized workflows Winner of BOSSIE, CODIE, OW2 and Gartner awards http://p.sf.net/sfu/Bonitasoft