Loading...

QR Code

A computational logic handbook

Bibliografiske detaljer
Hovedforfatter:	Robert S Boyer,J Strother Moore
Format:	Printed Book
Sprog:	English
Udgivet:	Academic Press 1988

Lignende værker

Computability and Logic /
af: Boolos, George S
Udgivet: (2007)

Computability and logic /
af: Boolos, George S.
Udgivet: (2002)

Computability and logic /
af: Boolos, George
Udgivet: (1974)

Computer Logic
af: Rose, Alan
Udgivet: (1971)

Computer logic
af: Ros, Alan
Udgivet: (1971)

Computability And Logic
af: Boolos, George S
Udgivet: (1989)

Computational logic
af: Berger, Ulrich
Udgivet: (1999)

Computational logic (proceedings)
af: J W Lloyd
Udgivet: (1990)

From Logic to computers
af: Thewlis,P.J

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

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

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

Mathematical logic and computability /
af: Keisler, H. Jerome
Udgivet: (1996)

Logics for computer science
af: Singh, Arindama
Udgivet: (2004)

The Logic of Computer Arithmetic
af: Flores,Ivan
Udgivet: (1963)

Computer logic design /
af: Mano,Morris.M
Udgivet: (1972)

Logic In Computer Science
af: Michell Hutch, Mark Ryan
Udgivet: (2004)

Logics for computer science
af: Arindama Singh
Udgivet: (2003)

Logic for computer science
af: Reeves, Steve

Computer logic design
af: Mano, M Morris
Udgivet: (1972)

Combinatorics,Computability and Logic /
Udgivet: (2001)

Logic In Computer Science /
af: Huth, Michael .
Udgivet: (2004)

The cultural logic of computation /
af: Golumbia, David
Udgivet: (2009)

Computer science logic /
Udgivet: (2003)

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

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

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

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

Discrete Structures,Logic,and Computability
af: Hein,James J.
Udgivet: (2010)

Mathematical Logic ( Handbook of )/
af: Barwise ,Jon ,Ed
Udgivet: (2006)

Handbook of logic circuits
af: Lenk, John D
Udgivet: (1972)

Handbook of the history of logic
af: Gabbay, Dov M
Udgivet: (2006)

Handbook of mathematical logic
af: Barwise, Jon
Udgivet: (2006)

Logic
af: Baum, Robert
Udgivet: (1975)

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

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

Logic /
af: Baum, Robert
Udgivet: (1975)

time and logic a computational approach
af: leonard bolc,andrzej szalas
Udgivet: (1995)

Computational intelligence: a logical approach /
af: Pole, David
Udgivet: (1998)

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