Lataa...

QR-koodi

A computational logic handbook

Bibliografiset tiedot
Päätekijä:	Robert S Boyer,J Strother Moore
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	Academic Press 1988

Samankaltaisia teoksia

Computability and Logic /
Tekijä: Boolos, George S
Julkaistu: (2007)

Computability and logic /
Tekijä: Boolos, George S.
Julkaistu: (2002)

Computability and logic /
Tekijä: Boolos, George
Julkaistu: (1974)

Computer Logic
Tekijä: Rose, Alan
Julkaistu: (1971)

Computer logic
Tekijä: Ros, Alan
Julkaistu: (1971)

Computability And Logic
Tekijä: Boolos, George S
Julkaistu: (1989)

Computational logic
Tekijä: Berger, Ulrich
Julkaistu: (1999)

Computational logic (proceedings)
Tekijä: J W Lloyd
Julkaistu: (1990)

From Logic to computers
Tekijä: Thewlis,P.J

Handbook of logic : a concise body of logical doctrine/
Tekijä: Jno J Tigert
Julkaistu: (2006)

Logic: A computer approach
Tekijä: Schagrin,Morton.L

Computer logic; the functional design of digital computers.
Tekijä: Flores, Ivan
Julkaistu: (1960)

Mathematical logic and computability /
Tekijä: Keisler, H. Jerome
Julkaistu: (1996)

Logics for computer science
Tekijä: Singh, Arindama
Julkaistu: (2004)

The Logic of Computer Arithmetic
Tekijä: Flores,Ivan
Julkaistu: (1963)

Computer logic design /
Tekijä: Mano,Morris.M
Julkaistu: (1972)

Logic In Computer Science
Tekijä: Michell Hutch, Mark Ryan
Julkaistu: (2004)

Logics for computer science
Tekijä: Arindama Singh
Julkaistu: (2003)

Logic for computer science
Tekijä: Reeves, Steve

Computer logic design
Tekijä: Mano, M Morris
Julkaistu: (1972)

Combinatorics,Computability and Logic /
Julkaistu: (2001)

Logic In Computer Science /
Tekijä: Huth, Michael .
Julkaistu: (2004)

The cultural logic of computation /
Tekijä: Golumbia, David
Julkaistu: (2009)

Computer science logic /
Julkaistu: (2003)

Computer logic : design principles and applications /
Tekijä: Hsu, John Y.
Julkaistu: (2011)

Handbook of logic and proof techniques for computer science /
Tekijä: Krantz, Steven G.
Julkaistu: (2002)

Handbook of logic in computer science- 2 vol.
Tekijä: S Abramsky
Julkaistu: (1992)

Handbook of logic and proof techniques for computer science
Tekijä: karntz, Steven G
Julkaistu: (2002)

Discrete Structures,Logic,and Computability
Tekijä: Hein,James J.
Julkaistu: (2010)

Mathematical Logic ( Handbook of )/
Tekijä: Barwise ,Jon ,Ed
Julkaistu: (2006)

Handbook of logic circuits
Tekijä: Lenk, John D
Julkaistu: (1972)

Handbook of the history of logic
Tekijä: Gabbay, Dov M
Julkaistu: (2006)

Handbook of mathematical logic
Tekijä: Barwise, Jon
Julkaistu: (2006)

Logic
Tekijä: Baum, Robert
Julkaistu: (1975)

Computational logic and human thinking how to be artificially intelligent
Tekijä: Kowalski, Robert
Julkaistu: (2011)

Computational logic and human thinking : how to be artificially intelligent /
Tekijä: Kowalski, Robert
Julkaistu: (2011)

Logic /
Tekijä: Baum, Robert
Julkaistu: (1975)

time and logic a computational approach
Tekijä: leonard bolc,andrzej szalas
Julkaistu: (1995)

Computational intelligence: a logical approach /
Tekijä: Pole, David
Julkaistu: (1998)

Computer logic: a laboratory manual
Tekijä: Enke, C G