Lanean...

QR Kodea

A computational logic handbook

Xehetasun bibliografikoak
Egile nagusia:	Robert S Boyer,J Strother Moore
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	Academic Press 1988

Antzeko izenburuak

Computability and Logic /
nork: Boolos, George S
Argitaratua: (2007)

Computability and logic /
nork: Boolos, George S.
Argitaratua: (2002)

Computability and logic /
nork: Boolos, George
Argitaratua: (1974)

Computer Logic
nork: Rose, Alan
Argitaratua: (1971)

Computer logic
nork: Ros, Alan
Argitaratua: (1971)

Computability And Logic
nork: Boolos, George S
Argitaratua: (1989)

Computational logic
nork: Berger, Ulrich
Argitaratua: (1999)

Computational logic (proceedings)
nork: J W Lloyd
Argitaratua: (1990)

From Logic to computers
nork: Thewlis,P.J

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

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

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

Mathematical logic and computability /
nork: Keisler, H. Jerome
Argitaratua: (1996)

Logics for computer science
nork: Singh, Arindama
Argitaratua: (2004)

The Logic of Computer Arithmetic
nork: Flores,Ivan
Argitaratua: (1963)

Computer logic design /
nork: Mano,Morris.M
Argitaratua: (1972)

Logic In Computer Science
nork: Michell Hutch, Mark Ryan
Argitaratua: (2004)

Logics for computer science
nork: Arindama Singh
Argitaratua: (2003)

Logic for computer science
nork: Reeves, Steve

Computer logic design
nork: Mano, M Morris
Argitaratua: (1972)

Combinatorics,Computability and Logic /
Argitaratua: (2001)

Logic In Computer Science /
nork: Huth, Michael .
Argitaratua: (2004)

The cultural logic of computation /
nork: Golumbia, David
Argitaratua: (2009)

Computer science logic /
Argitaratua: (2003)

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

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

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

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

Discrete Structures,Logic,and Computability
nork: Hein,James J.
Argitaratua: (2010)

Mathematical Logic ( Handbook of )/
nork: Barwise ,Jon ,Ed
Argitaratua: (2006)

Handbook of logic circuits
nork: Lenk, John D
Argitaratua: (1972)

Handbook of the history of logic
nork: Gabbay, Dov M
Argitaratua: (2006)

Handbook of mathematical logic
nork: Barwise, Jon
Argitaratua: (2006)

Logic
nork: Baum, Robert
Argitaratua: (1975)

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

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

Logic /
nork: Baum, Robert
Argitaratua: (1975)

time and logic a computational approach
nork: leonard bolc,andrzej szalas
Argitaratua: (1995)

Computational intelligence: a logical approach /
nork: Pole, David
Argitaratua: (1998)

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