Cargando…

Computational thinking for the modern problem solver /

Annotation

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Riley, David D., 1951-
Otros Autores:	Hunt, Kenny A.
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Boca Raton, FL : CRC Press, ©2014.
Colección:	Chapman & Hall/CRC textbooks in computing.
Temas:	Computational intelligence. Logic, Symbolic and mathematical. Rhetoric > Mathematics. Intelligence informatique. Logique symbolique et mathématique. Rhétorique > Mathématiques. COMPUTERS > Computer Literacy. COMPUTERS > Computer Science. COMPUTERS > Data Processing. COMPUTERS > Hardware > General. COMPUTERS > Information Technology. COMPUTERS > Machine Theory. COMPUTERS > Reference. Computational intelligence Logic, Symbolic and mathematical
Acceso en línea:	Texto completo (Requiere registro previo con correo institucional)

Ejemplares similares

Computational logic and human thinking : how to be artificially intelligent /
por: Kowalski, Robert
Publicado: (2011)

Fork algebras in algebra : logic and computer science /
por: Frias, Marcelo Fabián, 1968-
Publicado: (2002)

Advances in logic based intelligent systems : selected papers of LAPTEC 2005 /
Publicado: (2005)

Advances in Technological Applications of Logical and Intelligent Systems : Selected Papers from the Sixth Congress on Logic Applied to Technology /
Publicado: (2009)

Advances in Technological Applications of Logical and Intelligent Systems : Selected Papers from the Sixth Congress on Logic Applied to Technology /
Publicado: (2009)

Fork Algebras in Algebra, Logic and Computer Science.
por: Frias, Marcelo Fabián
Publicado: (2002)

Alan Turing's systems of logic : the Princeton thesis /
por: Turing, Alan, 1912-1954
Publicado: (2012)

Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction /
por: Pudlák, Pavel
Publicado: (2013)

Temporal Logic of Reactive and Concurrent Systems : Specification.
por: Manna, Zohar
Publicado: (1992)

Logic and algebraic structures in quantum computing /
Publicado: (2016)

Inheritance theory : an artificial intelligence approach /
por: Al-Asady, Raad
Publicado: (1995)

Linear Logic in Computer Science /
Publicado: (2004)

Handbook of logic in artificial intelligence and logic programming.
Publicado: (1998)

The logic of knowledge bases /
por: Levesque, Hector J., 1951-
Publicado: (2000)

Algebra and computer science /
Publicado: (2016)

Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 /
Publicado: (2002)

Handbook of logic in computer science.
Publicado: (2000)

HANDS-ON JULIA PROGRAMMING an authoritative guide to the production-ready systems in julia.
por: DASH, SAMBIT KUMAR
Publicado: (2021)

Logic and automata : history and perspectives /
Publicado: (2008)

Logic and automata : history and perspectives /
Publicado: (2008)

Logic and automata : history and perspectives /
Publicado: (2008)

Recursion theory for metamathematics /
por: Smullyan, Raymond M.
Publicado: (1993)

Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Publicado: (2012)

Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Publicado: (2012)

The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma /
por: Turing, Alan, 1912-1954
Publicado: (2004)

Logical foundations of proof complexity /
por: Cook, Stephen, 1948-
Publicado: (2010)

Logical Foundations of Proof Complexity.
por: Cook, Stephen, 1948-
Publicado: (2010)

Applied computational intelligence : proceedings of the 6th International FLINS Conference, Blankenberge, Belgium, September 1-3, 2004 /
Publicado: (2004)

Symbolic computation and education /
Publicado: (2007)

Symbolic computation and education /
Publicado: (2007)

Computability and logic.
por: Boolos, George
Publicado: (2002)

Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Publicado: (1999)

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings /
Publicado: (2009)

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /
Publicado: (2011)

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /
Publicado: (2014)

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings /
Publicado: (2013)

Knowledge in action : logical foundations for specifying and implementing dynamical systems /
por: Reiter, Raymond
Publicado: (2001)

Towards Paraconsistent Engineering
Publicado: (2016)

Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 /
Publicado: (2002)

Computability and logic.
por: Boolos, George
Publicado: (2007)

Cannot write session to /tmp/vufind_sessions/sess_mrcil7sv1i05shbj8pqu6914ro