skip to main content
Idioma:
Resultados 1 2 next page
Mostrar Somente
Refinado por: assunto: Artificial Intelligence remover assunto: Logic, Symbolic And Mathematical remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The logic of information structures
The logic of information structures
Material Type:
Livro 		Adicionar ao Meu Espaço

The logic of information structures

H. Wansing (Heinrich)

Berlin New York Springer-Verlag c1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lnai v.681 e.1 ) e outros locais(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

Chin-Liang Chang Richard Char-Tung Lee

Academic Press 1973

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

3
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)

4
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)

5
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)

6
Artificial intelligence, automated reasoning, and symbolic computation joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 proceedings
Artificial intelligence, automated reasoning, and symbolic computation joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial intelligence, automated reasoning, and symbolic computation joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 proceedings

Jacques Calmet; International Conference on Artificial Intelligence and Symbolic Mathematical Computation (6th 2002 Marseille, France); CALCULEMUS (2002 Marseille, France)

Berlin Springer New York c2002

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

7
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

JELIA 2002 (2002 Cosenza, Italy) Sergio Flesca 1971-

New York Springer 2002

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

8
Formal concept analysis third international conference, ICFCA 2005, Lens, France, February 14-18 2005 : proceedings
Formal concept analysis third international conference, ICFCA 2005, Lens, France, February 14-18 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal concept analysis third international conference, ICFCA 2005, Lens, France, February 14-18 2005 : proceedings

International Conference on Formal Concept Analysis (3rd 2005 Lens, France) Bernhard Ganter; Robert Godin Ph.D

Berlin Springer New York c2005

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

9
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)

10
Formal concept analysis foundations and applications
Formal concept analysis foundations and applications
Formal concept analysis foundations and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal concept analysis foundations and applications

Bernhard Ganter; Gerd Stumme 1967-; Rudolf Wille

Berlin Springer New York c2005

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (3)

Data de Publicação 

De até
Refinar
  1. Antes de1991  (2)
  2. 1991Até1997  (2)
  3. 1998Até2000  (3)
  4. 2001Até2004  (5)
  5. Após 2004  (4)
  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.