Cover Image

The Haskell road to logic, maths and programming /

Main Author:	Doets, Kees
Other Authors:	Eijck, Jan van, Eijck, J. van
Format:	Book
Published:	London: King's College Publications, c2004
Series:	Texts in computing
Subjects:	Haskell (Computer program language) Programming language (Electronic computers) Logic programming Logic, Symbolic and mathematical

Similar Items

From logic to logic programming/
by: Doets, Kees

Haskell data analysis cookbook : explore intuitive data analysis techniques and powerful machine learning methods using over 130 practical recipes /
by: Shukla, Nishant,

Introductory logic and formal methods /
by: Heath, David
Published: (1994)

Logic for computer scientists/
by: Schoening, Uwe, 1955-
Published: (2008)

A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (1972)

Introduction to functional programming using Haskell/
by: Bird, Richard
Published: (1998)

Fuzzy-logic-based programming /
by: Chang, Chin-Liang, 1937-
Published: (1997)

Logic programming : functions, relations and equations /
by: DeGroot, Doug
Published: (1986)

Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 /
Published: (1985)

Logic programming : formal methods and practical applications /
Published: (1995)

Temporal logic of programs /
by: Kröger, Fred, 1945-
Published: (1987)

Principles of logic and logic programming/
by: Μητακίδης, Γιώργος, 1945-
Published: (1996)

Principles of logic and logic programming/
by: Μετακίδης, Γιώργος, 1945-
Published: (1996)

From logic programming to Prolog
by: Apt, Krzysztof R., 1949-
Published: (1997)

Foundations of logic programming /
by: Lloyd, J. W. 1947-
Published: (1987)

Logic programming languages : constraints, functions, and objects ; K. R. Apt, J. W. de Bakker, J. J. M. M. Rutten
Published: (1993)

Solving higher-order equations :from logic to programming /
by: Prehofer, Christian 1967-
Published: (1998)

Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (Haskell '02): Pittsburgh, Pennsylvania, USA; October 3, 2002/
Published: (2002)

Domains and lambda-calculi /
by: Amadio, Roberto M.
Published: (1998)

Temporal logic : mathematical foundations and computational aspects /
by: Gabbay, Dov M., 1945-
Published: (1994)

Equational logic as a programming language/
by: OʹDonnell, Michael J., 1952-
Published: (1985)

Program development in computational logic : a decade of research advances in logic-based program development /
Published: (2004)

From logic programming to Prolog /
by: Apt, Krzysztof R., 1949-
Published: (1997)

Computational logic : logic programming and beyond /
Published: (2002)

Computation as logic /
by: Lalement, Rene
Published: (1993)

Computation as logic/
by: Lalement, Rene
Published: (1993)

In the light of logic /
by: Feferman, Solomon.
Published: (1998)

Mathematical logic /
by: Chiswell, Ian, 1948-
Published: (2007)

Programming languages : implementations, logics and programs : 7th International Symposium, PLILP ʹ95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings /
Published: (1995)

The Deductive foundations of computer programming
by: Manna, Zohar
Published: (1993)

Logic and its applications /
by: Burke, Edmund
Published: (1996)

Logic for computer scientists/
by: Schoening, Uwe
Published: (1994)

Logic programming and prolog /
by: Nilsson, Ulf
Published: (1995)

Logic programming with Prolog/
by: Bramer, Max
Published: (2005)

Handbook of logic in artificial intelligence and logic programming /
Published: (1993)

Handbook of logic in artificial intelligence and logic programming /
Published: (1996)

Handbook of logic in artificial intelligence and logic programming /
Published: (1993)

Logic/
by: Earle, Nick
Published: (1973)

Logic and discrete mathematics : a concise introduction /
by: Conradie, Willem, 1978-

Logic and discrete mathematics : a concise introduction /
by: Conradie, Willem, 1978-

Cannot write session to /tmp/vufind_sessions/sess_mgmej4al2rnv855e7k1ld4s527