Computation as logic

QR Code

Computation as logic

Bibliographic Details
Main Author:	Lalement, Rene (Author)
Format:	Book
Published:	London Prentice Hall ; Paris Masson 1993
Series:	Prentice Hall International series in computer science
Subjects:	Functional programming (Computer science) Logic programming Logic, Symbolic and mathematical

Similar Items

Logic and its applications
by: Burke, Edmund, et al.
Published: (1996)

Discrete structures, logic, and computability
by: Hein, James L.
Published: (2010)

Computability and logic
by: Boolos, George, et al.
Published: (1980)

Mathematical logic for computer science
by: Ben-Ari, M. 1948-
Published: (1993)

Quantum algebras, mathematical logic and quantum computing
by: Armenta, Janna
Published: (2014)

Mathematical logic
by: Chiswell, Ian 1948-, et al.
Published: (2007)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1979)

Programming logic and design comprehensive
by: Farrell, Joyce
Published: (2004)

Logic and objects
by: McCabe, F. G. (Frank G.) 1953-
Published: (1992)

Logic programming
by: Saxton, Liza
Published: (2014)

Just enough programming logic and design
by: Farrell, Joyce
Published: (2013)

Discrete structures with contemporary applications
by: Stanoyevitch, Alexander
Published: (2010)

Logic in linguistics
by: Allwood, Jens S. 1947-, et al.
Published: (1977)

المنطق الرمزي نشأته وتطوره
by: زيدان، محمود فهمى, et al.
Published: (2007)

Pengantar logik
by: Hamidah Abd Hamid
Published: (1991)

Discrete mathematics and its applications
by: Rosen, Kenneth H.
Published: (2003)

Discrete mathematics and its applications
by: Rosen, Kenneth H.
Published: (2007)

Logic programming & type theory
by: Singleton, Velva, et al.
Published: (2014)

Pengantar logik dan pengabstrakan untuk sains komputer
by: Rosni Abdullah, et al.
Published: (2000)

Mathematical aspects of logic programming semantics
by: Hitzler, Pascal, et al.
Published: (2011)

Discrete mathematics mathematical reasoning and proof with puzzles, patterns, and games
by: Ensley, Douglas E., et al.
Published: (2006)

An introduction to logic programming through Prolog
by: Spivey, J. M.
Published: (1996)

The equation [electronic resource] : icons of knowledge
by: Bais, Sander
Published: (2005)

Asas bermantik dan berteori set bagi matematik bahagian pertama pendekatan moden terhadap matematik tulen
by: Zulauf, A. (Achim) 1926-
Published: (1992)

The logic of knowledge bases [electronic resource]
by: Levesque, Hector J. 1951-, et al.
Published: (2000)

Computer architecture and logic design
by: Bartee, Thomas C.
Published: (1991)

Logic an introduction
by: Churchill, Robert Paul
Published: (1990)

Dynamic logic [electronic resource]
by: Harel, David 1950-, et al.
Published: (2000)

المنطق في اللسانيات
by: جحفة، عبد المجيد
Published: (2013)

The elements of logic
by: Barker, Stephen Francis
Published: (1980)

Logic primer
by: Allen, Colin, et al.
Published: (1992)

Introduction to logic
by: Copi, Irving M.
Published: (1986)

Logic and computer design fundamentals
by: Mano, M. Morris 1927-, et al.
Published: (2000)

Logic and computer design fundamentals
by: Mano, M. Morris 1927-, et al.
Published: (2004)

Logic and computer design fundamentals
by: Mano, M. Morris 1927-, et al.
Published: (1997)

Fundamentals of logic design
by: Roth, Charles H.
Published: (2004)

Introduction to logic design
by: Marcovitz, Alan B.
Published: (2005)

Fundamentals of logic design
by: Roth, Charles H.
Published: (2006)

A concise introduction to logic
by: Hurley, Patrick J. 1942-
Published: (1984)

Handbook of mathematical induction theory and application
by: Gunderson, David S.
Published: (2011)