Carregando...

Código QR (código de barras bidimensional)

A computational logic handbook

Detalhes bibliográficos
Autor principal:	Robert S Boyer,J Strother Moore
Formato:	Printed Book
Idioma:	English
Publicado em:	Academic Press 1988

Registros relacionados

Computability and Logic /
por: Boolos, George S
Publicado em: (2007)

Computability and logic /
por: Boolos, George S.
Publicado em: (2002)

Computability and logic /
por: Boolos, George
Publicado em: (1974)

Computer Logic
por: Rose, Alan
Publicado em: (1971)

Computer logic
por: Ros, Alan
Publicado em: (1971)

Computability And Logic
por: Boolos, George S
Publicado em: (1989)

Computational logic
por: Berger, Ulrich
Publicado em: (1999)

Computational logic (proceedings)
por: J W Lloyd
Publicado em: (1990)

From Logic to computers
por: Thewlis,P.J

Handbook of logic : a concise body of logical doctrine/
por: Jno J Tigert
Publicado em: (2006)

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

Computer logic; the functional design of digital computers.
por: Flores, Ivan
Publicado em: (1960)

Mathematical logic and computability /
por: Keisler, H. Jerome
Publicado em: (1996)

Logics for computer science
por: Singh, Arindama
Publicado em: (2004)

The Logic of Computer Arithmetic
por: Flores,Ivan
Publicado em: (1963)

Computer logic design /
por: Mano,Morris.M
Publicado em: (1972)

Logic In Computer Science
por: Michell Hutch, Mark Ryan
Publicado em: (2004)

Logics for computer science
por: Arindama Singh
Publicado em: (2003)

Logic for computer science
por: Reeves, Steve

Computer logic design
por: Mano, M Morris
Publicado em: (1972)

Combinatorics,Computability and Logic /
Publicado em: (2001)

Logic In Computer Science /
por: Huth, Michael .
Publicado em: (2004)

The cultural logic of computation /
por: Golumbia, David
Publicado em: (2009)

Computer science logic /
Publicado em: (2003)

Computer logic : design principles and applications /
por: Hsu, John Y.
Publicado em: (2011)

Handbook of logic and proof techniques for computer science /
por: Krantz, Steven G.
Publicado em: (2002)

Handbook of logic in computer science- 2 vol.
por: S Abramsky
Publicado em: (1992)

Handbook of logic and proof techniques for computer science
por: karntz, Steven G
Publicado em: (2002)

Discrete Structures,Logic,and Computability
por: Hein,James J.
Publicado em: (2010)

Mathematical Logic ( Handbook of )/
por: Barwise ,Jon ,Ed
Publicado em: (2006)

Handbook of logic circuits
por: Lenk, John D
Publicado em: (1972)

Handbook of the history of logic
por: Gabbay, Dov M
Publicado em: (2006)

Handbook of mathematical logic
por: Barwise, Jon
Publicado em: (2006)

Logic
por: Baum, Robert
Publicado em: (1975)

Computational logic and human thinking how to be artificially intelligent
por: Kowalski, Robert
Publicado em: (2011)

Computational logic and human thinking : how to be artificially intelligent /
por: Kowalski, Robert
Publicado em: (2011)

Logic /
por: Baum, Robert
Publicado em: (1975)

time and logic a computational approach
por: leonard bolc,andrzej szalas
Publicado em: (1995)

Computational intelligence: a logical approach /
por: Pole, David
Publicado em: (1998)

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