skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar solo
Refinado por: Biblioteca: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Artificial intelligence a modern approach
Artificial intelligence a modern approach
Material Type:
Libro 		Añadir a Mi Portal

Artificial intelligence a modern approach

Stuart J. Russell (Stuart Jonathan) Peter Norvig

Upper Saddle River Prentice Hall c2010

Disponible en EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.8 R917a3 ) y otras localizaciones(Obténgalo)

2
An introduction to Kolmogorov complexity and its applications
An introduction to Kolmogorov complexity and its applications
Material Type:
Libro 		Añadir a Mi Portal

An introduction to Kolmogorov complexity and its applications

Ming Li 1955 July 16- P. M. B Vitányi

New York Springer c2008

Disponible en EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (510.6 L612i3 ) y otras localizaciones(Obténgalo)

3
A lógica paraconsistente anotada
A lógica paraconsistente anotada
Material Type:
Libro 		Añadir a Mi Portal

A lógica paraconsistente anotada

Helga Gonzaga Martins Germano Lambert Torres; Luiz Francisco Pontin

Santos Comunicar 2007

Disponible en EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (510.6 M3661L ) y otras localizaciones(Obténgalo)

4
Description Logic Handbook: Theory, implementation, and applications
Description Logic Handbook: Theory, implementation, and applications
Description Logic Handbook: Theory, implementation, and applications
Material Type:
Libro 		Añadir a Mi Portal

Description Logic Handbook: Theory, implementation, and applications

Franz Calvanese, Diego McGuinness, Deborah L. Baader Franz Baader; Diego Calvanese; Deborah L McGuinness; Daniele Nardi; Peter F Patel-Schneider

Cambridge Cambridge University Press 2007

Acceso en línea. La biblioteca tiene también copias físicas.

5
How to read and do proofs an introduction to mathematical thought processes
How to read and do proofs an introduction to mathematical thought processes
Material Type:
Libro 		Añadir a Mi Portal

How to read and do proofs an introduction to mathematical thought processes

Daniel Solow

Hoboken, N.J. John Wiley c2005

Disponible en EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (51 So47h4 )(Obténgalo)

6
The essential Turing seminal writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma
The essential Turing seminal writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma
Material Type:
Libro 		Añadir a Mi Portal

The essential Turing seminal writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma

B. Jack Copeland

Oxford Oxford University Press Clarendon Press 2004

Disponible en EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (165.24 Es74 ) y otras localizaciones(Obténgalo)

7
O advento do algoritmo a idéia que governa o mundo
O advento do algoritmo a idéia que governa o mundo
Material Type:
Libro 		Añadir a Mi Portal

O advento do algoritmo a idéia que governa o mundo

David Berlinski Leila Ferreira de Souza Mendes

São Paulo Globo 2002

Disponible en EESC - Esc. Engenharia de São Carlos    (001.64 B5151a ) y otras localizaciones(Obténgalo)

8
Teoria ingênua dos conjuntos
Teoria ingênua dos conjuntos
Material Type:
Libro 		Añadir a Mi Portal

Teoria ingênua dos conjuntos

Paul R. Halmos (Paul Richard), 1916-2006 Lázaro Coutinho

Rio de Janeiro Ciência Moderna c2001

Disponible en EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (519.5 H162nP 2001 ) y otras localizaciones(Obténgalo)

9
Gödel, Escher, Bach um entrelaçamento de gênios brilhantes
Gödel, Escher, Bach um entrelaçamento de gênios brilhantes
Material Type:
Libro 		Añadir a Mi Portal

Gödel, Escher, Bach um entrelaçamento de gênios brilhantes

Douglas R. Hofstadter 1945- José Viegas Filho

Brasília Editora UnB São Paulo Imprensa Oficial SP 2001

Disponible en EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (153 H677gP ) y otras localizaciones(Obténgalo)

10
Thinking about mathematics the philosophy of mathematics
Thinking about mathematics the philosophy of mathematics
Material Type:
Libro 		Añadir a Mi Portal

Thinking about mathematics the philosophy of mathematics

Stewart Shapiro

New York Oxford University 2000

Disponible en EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (510.21 Sh22t ) y otras localizaciones(Obténgalo)

Resultados 1 2 3 4 next page

Personalizar los resultados

  1. Editar

Refine Search Results

Mostrar solo

  1. Recursos en línea (2)

Fecha de Publicación 

De Hasta
Refinar
  1. Antes de1967  (5)
  2. 1967Hasta1980  (5)
  3. 1981Hasta1990  (5)
  4. 1991Hasta2000  (10)
  5. Después de 2000  (9)
  6. Más opciones open sub menu

Nuevas sugerencias de búsqueda

Ignorar mi consulta y buscar por todo

por este autor/creador:

  1. Hofstadter, D
  2. Kleene, S
  3. Halmos, P
  4. Casanova, M
  5. Russell, S

con este tema:

  1. Lógica Matemática
  2. Logic, Symbolic And Mathematical
  3. Inteligência Artificial
  4. Lógica Simbólica
  5. Mathematics

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere