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: Inteligência Artificial remover assunto: Logic, Symbolic And Mathematical remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Grammatical Inference: Algorithms and Applications: 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings
Grammatical Inference: Algorithms and Applications: 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Grammatical Inference: Algorithms and Applications: 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings

Adriaans, Pieter ; Fernau, Henning ; Zaanen, Menno van Adriaans, Pieter ; van Zaanen, Menno ; Fernau, Henning

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
2
CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

Workshop on Computer Science Logic (2nd 1988 Duisburg, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-

Berlin New York Springer-Verlag c1989

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

3
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

Siekmann, Jörg H Siekmann, Jörg H.

Berlin, Heidelberg: Springer Berlin Heidelberg 1986

Texto completo disponível

Citações Citado por
4
Learning Language in Logic
Learning Language in Logic
Learning Language in Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Learning Language in Logic

James Cussens James Cussens; Sašo Džeroski

Springer Berlin Heidelberg 2000

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

5
Vivid logic knowledge-based reasoning with two kinds of negation
Vivid logic knowledge-based reasoning with two kinds of negation
Material Type:
Livro 		Adicionar ao Meu Espaço

Vivid logic knowledge-based reasoning with two kinds of negation

G. Wagner 1957- (Gerd)

Berlin New York Springer-Verlag c1994

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

6
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings

Flesca, Sergio ; Greco, Sergio ; Ianni, Giovambattista ; Leone, Nicola Leone, Nicola ; Flesca, Sergio ; Greco, Sergio ; Ianni, Giovambattista

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
7
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Material Type:
Livro 		Adicionar ao Meu Espaço

Nonmonotonic Logic: Context-Dependent Reasoning

Marek, V. Wiktor ; Reiter, R ; Truszczynski, Miroslaw

Berlin, Heidelberg: Springer Berlin / Heidelberg 1993

Texto completo disponível

Citações Citado por
8
Optimization Methods for Logical Inference
Optimization Methods for Logical Inference
Material Type:
Livro 		Adicionar ao Meu Espaço

Optimization Methods for Logical Inference

Chandru, Vijay ; Hooker, John

Newark: John Wiley & Sons, Incorporated 1999

Texto completo disponível

Citações Citado por
9
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
10
Frontiers of combining systems 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
Frontiers of combining systems 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Frontiers of combining systems 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings

FroCoS 2002 (2002 Santa Margherita Ligure, Italy) Alessandro Armando

Berlin Springer New York 2002

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1988  (4)
  2. 1988Até1991  (8)
  3. 1992Até1996  (9)
  4. 1997Até2001  (18)
  5. Após 2001  (13)
  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.