skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Lógica Matemática remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
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

Chang, Chin-Liang ; Lee, Richard Char-Tung

San Diego: Elsevier Science & Technology 1973

Texto completo disponível

Citações Citado por
3
A Computational Logic
A Computational Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

A Computational Logic

Boyer, Robert S ; Moore, J. Strother ; Standish, Thomas A

San Diego: Elsevier Science & Technology 1979

Texto completo disponível

Citações Citado por
4
Logic Programming: A Classified Bibliography
Logic Programming: A Classified Bibliography
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Programming: A Classified Bibliography

Balbin, Isaac ; Lecot, Koenraad

Dordrecht: Springer Netherlands 1985

Texto completo disponível

Citações Citado por
5
Analogical and inductive inference proceedings
Analogical and inductive inference proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Analogical and inductive inference proceedings

International Workshop AII '86 (1986 Wendisch-Rietz, Germany) K. P Jantke (Klaus P.)

Berlin New York Springer-Verlag c1987

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.265 ex.1 ) e outros locais(Acessar)

6
Reasoning with incomplete information
Reasoning with incomplete information
Material Type:
Livro 		Adicionar ao Meu Espaço

Reasoning with incomplete information

David W. Etherington

London Pitman Los Altos Morgan Kaufmann 1988

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

7
Philosophical Logic and Artificial Intelligence
Philosophical Logic and Artificial Intelligence
Philosophical Logic and Artificial Intelligence
Material Type:
Livro 		Adicionar ao Meu Espaço

Philosophical Logic and Artificial Intelligence

Richmond H. Thomason

Springer Netherlands 1989

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

8
Analogical and inductive inference proceedings
Analogical and inductive inference proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Analogical and inductive inference proceedings

International Workshop on Analogical and Inductive Inference, 2., Reinhardsbrunn Castle, 1989 K P Jantke

Berlin Springer 1989

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

9
Foundations of equational logic programming
Foundations of equational logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of equational logic programming

Steffen Hölldobler 1957-

Berlin New York Springer-Verlag c1989

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

10
Computational aspects of an order-sorted logic with term declarations
Computational aspects of an order-sorted logic with term declarations
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational aspects of an order-sorted logic with term declarations

M. Schmidt-Schauss (Manfred)

Berlin New York Springer-Verlag c1989

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lnai v.395 e.1 ) e outros locais(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  (111)
  2. Artigos  (4)
  3. Dissertações  (2)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1990  (13)
  2. 1990Até1996  (21)
  3. 1997Até2003  (73)
  4. 2004Até2013  (27)
  5. Após 2013  (8)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.