Caricamento...

Codice QR

A computational logic handbook

Dettagli Bibliografici
Autore principale:	Robert S Boyer,J Strother Moore
Natura:	Printed Book
Lingua:	English
Pubblicazione:	Academic Press 1988

Documenti analoghi

Computability and Logic /
di: Boolos, George S
Pubblicazione: (2007)

Computability and logic /
di: Boolos, George S.
Pubblicazione: (2002)

Computability and logic /
di: Boolos, George
Pubblicazione: (1974)

Computer Logic
di: Rose, Alan
Pubblicazione: (1971)

Computer logic
di: Ros, Alan
Pubblicazione: (1971)

Computability And Logic
di: Boolos, George S
Pubblicazione: (1989)

Computational logic
di: Berger, Ulrich
Pubblicazione: (1999)

Computational logic (proceedings)
di: J W Lloyd
Pubblicazione: (1990)

From Logic to computers
di: Thewlis,P.J

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

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

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

Mathematical logic and computability /
di: Keisler, H. Jerome
Pubblicazione: (1996)

Logics for computer science
di: Singh, Arindama
Pubblicazione: (2004)

The Logic of Computer Arithmetic
di: Flores,Ivan
Pubblicazione: (1963)

Computer logic design /
di: Mano,Morris.M
Pubblicazione: (1972)

Logic In Computer Science
di: Michell Hutch, Mark Ryan
Pubblicazione: (2004)

Logics for computer science
di: Arindama Singh
Pubblicazione: (2003)

Logic for computer science
di: Reeves, Steve

Computer logic design
di: Mano, M Morris
Pubblicazione: (1972)

Combinatorics,Computability and Logic /
Pubblicazione: (2001)

Logic In Computer Science /
di: Huth, Michael .
Pubblicazione: (2004)

The cultural logic of computation /
di: Golumbia, David
Pubblicazione: (2009)

Computer science logic /
Pubblicazione: (2003)

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

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

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

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

Discrete Structures,Logic,and Computability
di: Hein,James J.
Pubblicazione: (2010)

Mathematical Logic ( Handbook of )/
di: Barwise ,Jon ,Ed
Pubblicazione: (2006)

Handbook of logic circuits
di: Lenk, John D
Pubblicazione: (1972)

Handbook of the history of logic
di: Gabbay, Dov M
Pubblicazione: (2006)

Handbook of mathematical logic
di: Barwise, Jon
Pubblicazione: (2006)

Logic
di: Baum, Robert
Pubblicazione: (1975)

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

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

Logic /
di: Baum, Robert
Pubblicazione: (1975)

time and logic a computational approach
di: leonard bolc,andrzej szalas
Pubblicazione: (1995)

Computational intelligence: a logical approach /
di: Pole, David
Pubblicazione: (1998)

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