ロード中...

QRコード

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