Đang tải...

Mã QR

Computational logic and human thinking how to be artificially intelligent

other_versions_link

Chi tiết về thư mục
Tác giả chính:	Kowalski, Robert
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	Cambridge Cambridge university press 2011
Những chủ đề:	Computer science > Computational intelligence Logic - symbolic and mathematical Rhetoric - mathematics Communication - philosophy Critical thinking

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

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

Mathematical logic for computer science /
Được phát hành: (2008)

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)

Logic at work : essays dedicated to the memory of Helena Rasiowa /
Được phát hành: (1999)

Introduction to logic and critical thinking
Bằng: Salmon, Merrilee
Được phát hành: (2002)

Logic and discrete mathematics: a computer science perspective
Bằng: Grassmann, Winfried Karl; Author, et al.
Được phát hành: (1996)

Symbolic Logic and the Game of Logic
Bằng: Carroll, Lewis
Được phát hành: (1958)

Mathematical logic /
Bằng: Kleene, Stephen Cole
Được phát hành: (2002)

Logic, sets, and recursion /
Bằng: Causey, Robert L.
Được phát hành: (2006)

Symbolic and numerical computation for artificial intelligence
Bằng: Bruce Randell Donald, Deepak Kapur and Joseph L Mundy
Được phát hành: (1992)

Logic and knowledge : essays, 1901-1950 /
Bằng: Russell, Bertrand
Được phát hành: (1956)

Logical forms : an introduction to philosophical logic /
Bằng: Sainsbury, R. M.
Được phát hành: (1991)

Logic with trees : an introduction to symbolic logic /
Bằng: Howson, Colin
Được phát hành: (1997)

Symbolic logic /
Bằng: Copi, Irving M.
Được phát hành: (1973)

Symbolic logic /
Bằng: Copi, Irving M.
Được phát hành: (1979)

Logical investigations /
Bằng: Frege, Gottlob
Được phát hành: (1977)

Symbolic logic /
Bằng: Copi, Irving M.
Được phát hành: (2015)

System of Logic
Bằng: Martin, Norman M
Được phát hành: (1989)

Formal logic /
Được phát hành: (2017)

Mathematical logic /
Bằng: Shoenfield, Joseph R.
Được phát hành: (2001)

Mathematical logic
Bằng: Chiswell,Ian, et al.
Được phát hành: (2008)

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

Profile of mathematical logic
Bằng: Delong, Horward
Được phát hành: (1970)

Logic collequium 2007
Bằng: Francoise Delon (ed.)
Được phát hành: (2010)

Logic of programming /
Bằng: Hehner, Eric C. R.
Được phát hành: (1991)

Symbolic logic
Bằng: Copi, Irving M
Được phát hành: (1997)

A textbook of logic
Bằng: Krishna Jain; Author
Được phát hành: (2009)

Foundations of the logical theory of scientific knowledge (complex logic) /
Bằng: Zinoviev, Aleksandr
Được phát hành: (1973)

Logic in elementary mathematics /
Bằng: Exner, Robert M., et al.
Được phát hành: (2011)

Introduction to mathematical logic /
Bằng: Mendelson, Elliott
Được phát hành: (2010)

Introduction to mathematical logic /
Bằng: Mendelson, Elliott
Được phát hành: (1964)

Introduction to symbolic logic /
Bằng: Basson, A. H., et al.
Được phát hành: (1976)

Introduction to symbolic logic /
Bằng: Carney, James D.
Được phát hành: (1970)

Introduction to symbolic logic /
Bằng: Basson, A. H., et al.
Được phát hành: (1976)

Course of mathematical logic /
Bằng: Fraïssé, Roland
Được phát hành: (1973)

Papers in philosophical logic /
Bằng: Lewis, David K.
Được phát hành: (1998)

An introduction to symbolic logic /
Bằng: Langer, Susanne K.
Được phát hành: (1967)

Foundations of mathematical logic /
Bằng: Curry, Haskell B.
Được phát hành: (1977)

An introduction to mathematical logic /
Bằng: Hodel, Richard E.
Được phát hành: (2013)