טוען...

QR Code

Computational logic and human thinking how to be artificially intelligent

other_versions_link

מידע ביבליוגרפי
מחבר ראשי:	Kowalski, Robert
פורמט:	Printed Book
שפה:	English
יצא לאור:	Cambridge Cambridge university press 2011
נושאים:	Computer science > Computational intelligence Logic - symbolic and mathematical Rhetoric - mathematics Communication - philosophy Critical thinking

פריטים דומים

Computational logic and human thinking : how to be artificially intelligent /
מאת: Kowalski, Robert
יצא לאור: (2011)

Mathematical logic for computer science /
יצא לאור: (2008)

Computability and logic /
מאת: Boolos, George S.
יצא לאור: (2002)

Computability and logic /
מאת: Boolos, George
יצא לאור: (1974)

Logic at work : essays dedicated to the memory of Helena Rasiowa /
יצא לאור: (1999)

Introduction to logic and critical thinking
מאת: Salmon, Merrilee
יצא לאור: (2002)

Logic and discrete mathematics: a computer science perspective
מאת: Grassmann, Winfried Karl; Author, et al.
יצא לאור: (1996)

Symbolic Logic and the Game of Logic
מאת: Carroll, Lewis
יצא לאור: (1958)

Mathematical logic /
מאת: Kleene, Stephen Cole
יצא לאור: (2002)

Logic, sets, and recursion /
מאת: Causey, Robert L.
יצא לאור: (2006)

Symbolic and numerical computation for artificial intelligence
מאת: Bruce Randell Donald, Deepak Kapur and Joseph L Mundy
יצא לאור: (1992)

Logic and knowledge : essays, 1901-1950 /
מאת: Russell, Bertrand
יצא לאור: (1956)

Logical forms : an introduction to philosophical logic /
מאת: Sainsbury, R. M.
יצא לאור: (1991)

Logic with trees : an introduction to symbolic logic /
מאת: Howson, Colin
יצא לאור: (1997)

Symbolic logic /
מאת: Copi, Irving M.
יצא לאור: (1973)

Symbolic logic /
מאת: Copi, Irving M.
יצא לאור: (1979)

Logical investigations /
מאת: Frege, Gottlob
יצא לאור: (1977)

Symbolic logic /
מאת: Copi, Irving M.
יצא לאור: (2015)

System of Logic
מאת: Martin, Norman M
יצא לאור: (1989)

Formal logic /
יצא לאור: (2017)

Mathematical logic /
מאת: Shoenfield, Joseph R.
יצא לאור: (2001)

Mathematical logic
מאת: Chiswell,Ian, et al.
יצא לאור: (2008)

Logics for computer science
מאת: Singh, Arindama
יצא לאור: (2004)

Profile of mathematical logic
מאת: Delong, Horward
יצא לאור: (1970)

Logic collequium 2007
מאת: Francoise Delon (ed.)
יצא לאור: (2010)

Logic of programming /
מאת: Hehner, Eric C. R.
יצא לאור: (1991)

Symbolic logic
מאת: Copi, Irving M
יצא לאור: (1997)

A textbook of logic
מאת: Krishna Jain; Author
יצא לאור: (2009)

Foundations of the logical theory of scientific knowledge (complex logic) /
מאת: Zinoviev, Aleksandr
יצא לאור: (1973)

Logic in elementary mathematics /
מאת: Exner, Robert M., et al.
יצא לאור: (2011)

Introduction to mathematical logic /
מאת: Mendelson, Elliott
יצא לאור: (2010)

Introduction to mathematical logic /
מאת: Mendelson, Elliott
יצא לאור: (1964)

Introduction to symbolic logic /
מאת: Basson, A. H., et al.
יצא לאור: (1976)

Introduction to symbolic logic /
מאת: Carney, James D.
יצא לאור: (1970)

Introduction to symbolic logic /
מאת: Basson, A. H., et al.
יצא לאור: (1976)

Course of mathematical logic /
מאת: Fraïssé, Roland
יצא לאור: (1973)

Papers in philosophical logic /
מאת: Lewis, David K.
יצא לאור: (1998)

An introduction to symbolic logic /
מאת: Langer, Susanne K.
יצא לאור: (1967)

Foundations of mathematical logic /
מאת: Curry, Haskell B.
יצא לאור: (1977)

An introduction to mathematical logic /
מאת: Hodel, Richard E.
יצא לאור: (2013)