Carregant...

Codi QR

A computational logic handbook

Dades bibliogràfiques
Autor principal:	Robert S Boyer,J Strother Moore
Format:	Printed Book
Idioma:	English
Publicat:	Academic Press 1988

Ítems similars

Computability and Logic /
per: Boolos, George S
Publicat: (2007)

Computability and logic /
per: Boolos, George S.
Publicat: (2002)

Computability and logic /
per: Boolos, George
Publicat: (1974)

Computer Logic
per: Rose, Alan
Publicat: (1971)

Computer logic
per: Ros, Alan
Publicat: (1971)

Computability And Logic
per: Boolos, George S
Publicat: (1989)

Computational logic
per: Berger, Ulrich
Publicat: (1999)

Computational logic (proceedings)
per: J W Lloyd
Publicat: (1990)

From Logic to computers
per: Thewlis,P.J

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

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

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

Mathematical logic and computability /
per: Keisler, H. Jerome
Publicat: (1996)

Logics for computer science
per: Singh, Arindama
Publicat: (2004)

The Logic of Computer Arithmetic
per: Flores,Ivan
Publicat: (1963)

Computer logic design /
per: Mano,Morris.M
Publicat: (1972)

Logic In Computer Science
per: Michell Hutch, Mark Ryan
Publicat: (2004)

Logics for computer science
per: Arindama Singh
Publicat: (2003)

Logic for computer science
per: Reeves, Steve

Computer logic design
per: Mano, M Morris
Publicat: (1972)

Combinatorics,Computability and Logic /
Publicat: (2001)

Logic In Computer Science /
per: Huth, Michael .
Publicat: (2004)

The cultural logic of computation /
per: Golumbia, David
Publicat: (2009)

Computer science logic /
Publicat: (2003)

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

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

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

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

Discrete Structures,Logic,and Computability
per: Hein,James J.
Publicat: (2010)

Mathematical Logic ( Handbook of )/
per: Barwise ,Jon ,Ed
Publicat: (2006)

Handbook of logic circuits
per: Lenk, John D
Publicat: (1972)

Handbook of the history of logic
per: Gabbay, Dov M
Publicat: (2006)

Handbook of mathematical logic
per: Barwise, Jon
Publicat: (2006)

Logic
per: Baum, Robert
Publicat: (1975)

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

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

Logic /
per: Baum, Robert
Publicat: (1975)

time and logic a computational approach
per: leonard bolc,andrzej szalas
Publicat: (1995)

Computational intelligence: a logical approach /
per: Pole, David
Publicat: (1998)

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