skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Logic, Symbolic And Mathematical remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Material Type:
Livro 		Adicionar ao Meu Espaço

Symbolic Logic and Mechanical Theorem Proving

Chin-Liang Chang Richard Char-Tung Lee

Academic Press 1973

Acesso online. A biblioteca também possui exemplares impressos.

2
Formal methods in artificial intelligence
Formal methods in artificial intelligence
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods in artificial intelligence

Allan Ramsay 1953-

Cambridge New York Cambridge University Press 1988

Localização: IME - Inst. Matemática e Estatística    (QA860 R178f )(Acessar)

3
Logics in artificial intelligence 9th European conference, JELIA 2004, Lisbon Portugal September 27-30, 2004 : proceedings
Logics in artificial intelligence 9th European conference, JELIA 2004, Lisbon Portugal September 27-30, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics in artificial intelligence 9th European conference, JELIA 2004, Lisbon Portugal September 27-30, 2004 : proceedings

JELIA 2004 (2004 Lisbon, Portugal) José Júlio Alferes; João Alexandre Leite

Berlin Springer c2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (60-02 LNAI v.3229 ) e outros locais(Acessar)

4
Symbolic logic and intelligent machines
Material Type:
Livro 		Adicionar ao Meu Espaço

Symbolic logic and intelligent machines

Edmund Callis Berkeley

New York Reinhold Pub. Corp 1959

Localização: IF - Instituto de Física    (511.3 B512s )(Acessar)

5
Logics for artificial intelligence
Logics for artificial intelligence
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics for artificial intelligence

Raymond Turner 1947-

Chichester E. Horwood New York Halsted Press 1984

Localização: EPECP - Esc. Politécnica-Bib Eng Civil e Prod    (004.8 T857L ) e outros locais(Acessar)

6
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Material Type:
Livro 		Adicionar ao Meu Espaço

Readings in nonmonotonic reasoning

Matthew L Ginsberg 1955-

Los Altos, Calif. M. Kaufmann Publishers c1987

Localização: ICMC - Inst. Ciên. Mat. Computação    (68T10.01 G493n e.1 )(Acessar)

7
Logics in artificial intelligence European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings
Logics in artificial intelligence European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics in artificial intelligence European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings

European Workshop JELIA'98 (1998 Dagstuhl, Germany) J Dix 1961- (Jürgen); Luis Fariñas del Cerro; Ulrich Furbach

Berlin Springer New York c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1489 ) e outros locais(Acessar)

8
Artificial intelligence and symbolic computation international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papers
Artificial intelligence and symbolic computation international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial intelligence and symbolic computation international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papers

International Conference on Artificial Intelligence and Symbolic Mathematical Computation (5th 2000 Madrid, Spain) J. A Campbell 1940-; Eugenio Roanes-Lozano

Berlin Springer New York c2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1930 ) e outros locais(Acessar)

9
Commonsense Reasoning
Commonsense Reasoning
Commonsense Reasoning
Material Type:
Livro 		Adicionar ao Meu Espaço

Commonsense Reasoning

Erik T. Mueller

Burlington Morgan Kaufmann 2006

Acesso online. A biblioteca também possui exemplares impressos.

10
Simply logical intelligent reasoning by example
Simply logical intelligent reasoning by example
Material Type:
Livro 		Adicionar ao Meu Espaço

Simply logical intelligent reasoning by example

Peter A. Flach

Chichester Wiley New York c1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (68T10.01 F571sl e.1 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (612)
  2. Anais de Congresso  (10)
  3. Artigos  (3)
  4. Dissertações  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1984  (16)
  2. 1984Até1992  (42)
  3. 1993Até2001  (250)
  4. 2002Até2011  (258)
  5. Após 2011  (262)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (626)
  2. Alemão  (7)
  3. Japonês  (6)
  4. Espanhol  (1)
  5. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.