Đang tải...

Mã QR

A computational logic handbook

Chi tiết về thư mục
Tác giả chính:	Robert S Boyer,J Strother Moore
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	Academic Press 1988

Những quyển sách tương tự

Computability and Logic /
Bằng: Boolos, George S
Được phát hành: (2007)

Computability and logic /
Bằng: Boolos, George S.
Được phát hành: (2002)

Computability and logic /
Bằng: Boolos, George
Được phát hành: (1974)

Computer Logic
Bằng: Rose, Alan
Được phát hành: (1971)

Computer logic
Bằng: Ros, Alan
Được phát hành: (1971)

Computability And Logic
Bằng: Boolos, George S
Được phát hành: (1989)

Computational logic
Bằng: Berger, Ulrich
Được phát hành: (1999)

Computational logic (proceedings)
Bằng: J W Lloyd
Được phát hành: (1990)

From Logic to computers
Bằng: Thewlis,P.J

Handbook of logic : a concise body of logical doctrine/
Bằng: Jno J Tigert
Được phát hành: (2006)

Logic: A computer approach
Bằng: Schagrin,Morton.L

Computer logic; the functional design of digital computers.
Bằng: Flores, Ivan
Được phát hành: (1960)

Mathematical logic and computability /
Bằng: Keisler, H. Jerome
Được phát hành: (1996)

Logics for computer science
Bằng: Singh, Arindama
Được phát hành: (2004)

The Logic of Computer Arithmetic
Bằng: Flores,Ivan
Được phát hành: (1963)

Computer logic design /
Bằng: Mano,Morris.M
Được phát hành: (1972)

Logic In Computer Science
Bằng: Michell Hutch, Mark Ryan
Được phát hành: (2004)

Logics for computer science
Bằng: Arindama Singh
Được phát hành: (2003)

Logic for computer science
Bằng: Reeves, Steve

Computer logic design
Bằng: Mano, M Morris
Được phát hành: (1972)

Combinatorics,Computability and Logic /
Được phát hành: (2001)

Logic In Computer Science /
Bằng: Huth, Michael .
Được phát hành: (2004)

The cultural logic of computation /
Bằng: Golumbia, David
Được phát hành: (2009)

Computer science logic /
Được phát hành: (2003)

Computer logic : design principles and applications /
Bằng: Hsu, John Y.
Được phát hành: (2011)

Handbook of logic and proof techniques for computer science /
Bằng: Krantz, Steven G.
Được phát hành: (2002)

Handbook of logic in computer science- 2 vol.
Bằng: S Abramsky
Được phát hành: (1992)

Handbook of logic and proof techniques for computer science
Bằng: karntz, Steven G
Được phát hành: (2002)

Discrete Structures,Logic,and Computability
Bằng: Hein,James J.
Được phát hành: (2010)

Mathematical Logic ( Handbook of )/
Bằng: Barwise ,Jon ,Ed
Được phát hành: (2006)

Handbook of logic circuits
Bằng: Lenk, John D
Được phát hành: (1972)

Handbook of the history of logic
Bằng: Gabbay, Dov M
Được phát hành: (2006)

Handbook of mathematical logic
Bằng: Barwise, Jon
Được phát hành: (2006)

Logic
Bằng: Baum, Robert
Được phát hành: (1975)

Computational logic and human thinking how to be artificially intelligent
Bằng: Kowalski, Robert
Được phát hành: (2011)

Computational logic and human thinking : how to be artificially intelligent /
Bằng: Kowalski, Robert
Được phát hành: (2011)

Logic /
Bằng: Baum, Robert
Được phát hành: (1975)

time and logic a computational approach
Bằng: leonard bolc,andrzej szalas
Được phát hành: (1995)

Computational intelligence: a logical approach /
Bằng: Pole, David
Được phát hành: (1998)

Computer logic: a laboratory manual
Bằng: Enke, C G