Laddar...

QR-kod

A computational logic handbook

Bibliografiska uppgifter
Huvudupphovsman:	Robert S Boyer,J Strother Moore
Materialtyp:	Printed Book
Språk:	English
Publicerad:	Academic Press 1988

Liknande verk

Computability and Logic /
av: Boolos, George S
Publicerad: (2007)

Computability and logic /
av: Boolos, George S.
Publicerad: (2002)

Computability and logic /
av: Boolos, George
Publicerad: (1974)

Computer Logic
av: Rose, Alan
Publicerad: (1971)

Computer logic
av: Ros, Alan
Publicerad: (1971)

Computability And Logic
av: Boolos, George S
Publicerad: (1989)

Computational logic
av: Berger, Ulrich
Publicerad: (1999)

Computational logic (proceedings)
av: J W Lloyd
Publicerad: (1990)

From Logic to computers
av: Thewlis,P.J

Handbook of logic : a concise body of logical doctrine/
av: Jno J Tigert
Publicerad: (2006)

Logic: A computer approach
av: Schagrin,Morton.L

Computer logic; the functional design of digital computers.
av: Flores, Ivan
Publicerad: (1960)

Mathematical logic and computability /
av: Keisler, H. Jerome
Publicerad: (1996)

Logics for computer science
av: Singh, Arindama
Publicerad: (2004)

The Logic of Computer Arithmetic
av: Flores,Ivan
Publicerad: (1963)

Computer logic design /
av: Mano,Morris.M
Publicerad: (1972)

Logic In Computer Science
av: Michell Hutch, Mark Ryan
Publicerad: (2004)

Logics for computer science
av: Arindama Singh
Publicerad: (2003)

Logic for computer science
av: Reeves, Steve

Computer logic design
av: Mano, M Morris
Publicerad: (1972)

Combinatorics,Computability and Logic /
Publicerad: (2001)

Logic In Computer Science /
av: Huth, Michael .
Publicerad: (2004)

The cultural logic of computation /
av: Golumbia, David
Publicerad: (2009)

Computer science logic /
Publicerad: (2003)

Computer logic : design principles and applications /
av: Hsu, John Y.
Publicerad: (2011)

Handbook of logic and proof techniques for computer science /
av: Krantz, Steven G.
Publicerad: (2002)

Handbook of logic in computer science- 2 vol.
av: S Abramsky
Publicerad: (1992)

Handbook of logic and proof techniques for computer science
av: karntz, Steven G
Publicerad: (2002)

Discrete Structures,Logic,and Computability
av: Hein,James J.
Publicerad: (2010)

Mathematical Logic ( Handbook of )/
av: Barwise ,Jon ,Ed
Publicerad: (2006)

Handbook of logic circuits
av: Lenk, John D
Publicerad: (1972)

Handbook of the history of logic
av: Gabbay, Dov M
Publicerad: (2006)

Handbook of mathematical logic
av: Barwise, Jon
Publicerad: (2006)

Logic
av: Baum, Robert
Publicerad: (1975)

Computational logic and human thinking how to be artificially intelligent
av: Kowalski, Robert
Publicerad: (2011)

Computational logic and human thinking : how to be artificially intelligent /
av: Kowalski, Robert
Publicerad: (2011)

Logic /
av: Baum, Robert
Publicerad: (1975)

time and logic a computational approach
av: leonard bolc,andrzej szalas
Publicerad: (1995)

Computational intelligence: a logical approach /
av: Pole, David
Publicerad: (1998)

Computer logic: a laboratory manual
av: Enke, C G