載入...

QR Code

A computational logic handbook

書目詳細資料
主要作者:	Robert S Boyer,J Strother Moore
格式:	Printed Book
語言:	English
出版:	Academic Press 1988

相似書籍

Computability and Logic /
由: Boolos, George S
出版: (2007)

Computability and logic /
由: Boolos, George S.
出版: (2002)

Computability and logic /
由: Boolos, George
出版: (1974)

Computer Logic
由: Rose, Alan
出版: (1971)

Computer logic
由: Ros, Alan
出版: (1971)

Computability And Logic
由: Boolos, George S
出版: (1989)

Computational logic
由: Berger, Ulrich
出版: (1999)

Computational logic (proceedings)
由: J W Lloyd
出版: (1990)

From Logic to computers
由: Thewlis,P.J

Handbook of logic : a concise body of logical doctrine/
由: Jno J Tigert
出版: (2006)

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

Computer logic; the functional design of digital computers.
由: Flores, Ivan
出版: (1960)

Mathematical logic and computability /
由: Keisler, H. Jerome
出版: (1996)

Logics for computer science
由: Singh, Arindama
出版: (2004)

The Logic of Computer Arithmetic
由: Flores,Ivan
出版: (1963)

Computer logic design /
由: Mano,Morris.M
出版: (1972)

Logic In Computer Science
由: Michell Hutch, Mark Ryan
出版: (2004)

Logics for computer science
由: Arindama Singh
出版: (2003)

Logic for computer science
由: Reeves, Steve

Computer logic design
由: Mano, M Morris
出版: (1972)

Combinatorics,Computability and Logic /
出版: (2001)

Logic In Computer Science /
由: Huth, Michael .
出版: (2004)

The cultural logic of computation /
由: Golumbia, David
出版: (2009)

Computer science logic /
出版: (2003)

Computer logic : design principles and applications /
由: Hsu, John Y.
出版: (2011)

Handbook of logic and proof techniques for computer science /
由: Krantz, Steven G.
出版: (2002)

Handbook of logic in computer science- 2 vol.
由: S Abramsky
出版: (1992)

Handbook of logic and proof techniques for computer science
由: karntz, Steven G
出版: (2002)

Discrete Structures,Logic,and Computability
由: Hein,James J.
出版: (2010)

Mathematical Logic ( Handbook of )/
由: Barwise ,Jon ,Ed
出版: (2006)

Handbook of logic circuits
由: Lenk, John D
出版: (1972)

Handbook of the history of logic
由: Gabbay, Dov M
出版: (2006)

Handbook of mathematical logic
由: Barwise, Jon
出版: (2006)

Logic
由: Baum, Robert
出版: (1975)

Computational logic and human thinking how to be artificially intelligent
由: Kowalski, Robert
出版: (2011)

Computational logic and human thinking : how to be artificially intelligent /
由: Kowalski, Robert
出版: (2011)

Logic /
由: Baum, Robert
出版: (1975)

time and logic a computational approach
由: leonard bolc,andrzej szalas
出版: (1995)

Computational intelligence: a logical approach /
由: Pole, David
出版: (1998)

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