Related Books

The Haskell Road to Logic, Maths and Programming
Language: en
Pages: 448
Authors: Kees Doets
Categories: Computers
Type: BOOK - Published: 2004 - Publisher: College Publications

GET EBOOK

Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathem
Declarative Agent Languages and Technologies IV
Language: en
Pages: 265
Authors: Matteo Baldoni
Categories: Computers
Type: BOOK - Published: 2007-01-20 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, hel
Deontic Logic and Artificial Normative Systems
Language: en
Pages: 282
Authors: Lou Goble
Categories: Computers
Type: BOOK - Published: 2006-06-29 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, held in Utrecht, Netherlands i
Discourses on Social Software
Language: en
Pages: 249
Authors: Jan van Eijck
Categories: Computers
Type: BOOK - Published: 2009 - Publisher: Amsterdam University Press

GET EBOOK

The unusual format of a series of discussions among a logician, a computer scientist, a philosopher and some researchers from other disciplines encourages the r
Haskell Programming from First Principles
Language: en
Pages:
Authors: Christopher Allen
Categories:
Type: BOOK - Published: 2016-07-01 - Publisher:

GET EBOOK

Haskell Programming makes Haskell as clear, painless, and practical as it can be, whether you're a beginner or an experienced hacker. Learning Haskell from the