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 next page
Mostrar Somente
Refinado por: Biblioteca: ICMC - Inst. Ciên. Mat. Computação remover assunto: Logic, Symbolic And Mathematical remover IFSC - Inst. Física de São Carlos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings
Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

E. Thomas Schubert 1959-; Phillip J Windley 1958-; James Alves-Foss 1964-

Berlin New York Springer-Verlag 1995

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

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

3
Artificial intelligence and symbolic computation International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, proceedings
Artificial intelligence and symbolic computation International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial intelligence and symbolic computation International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, proceedings

AISC'98 (Conference) (1998 Plattsburgh, N.Y.) Jacques Calmet; Jan Plaza; International Conference on Artificial Intelligence and Symbolic Mathematical Computation (4th 1998 Plattsburgh, N.Y.)

Carbonell, G, ed; Siekmann, J, ed Lecture Notes in Artificial Intelligence Berlin, Springer-Verlag, c1994-

Berlin London Springer c1998

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

4
Automated deduction--CADE 16 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
Automated deduction--CADE 16 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction--CADE 16 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

International Conference on Automated Deduction (16th 1999 Trento, Italy) H Ganzinger 1950- (Harald)

Berlin Springer-Verlag New York 1999

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

5
Automated deduction in geometry Second International Workshop, ADG'98, Beijing, China, august 1-3, 1998 : proceedings
Automated deduction in geometry Second International Workshop, ADG'98, Beijing, China, august 1-3, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction in geometry Second International Workshop, ADG'98, Beijing, China, august 1-3, 1998 : proceedings

International Workshop on Automated Deduction in Geometry (2nd 1998 Beijing, China) Xiao-Shan Gao; Dongming Wang; Lu Yang 1936-

Carbonell, G., ed.; Siekmann, J., ed Lecture notes in artificial intelligence Berlin : Springer-Verlag, c1994-

Berlin Springer New York c1999

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

6
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.

7
Logics in artificial intelligence European workshop, JELIA 2000, Málaga, Spain, September 29 - October 2, 2000 ; proceedings
Logics in artificial intelligence European workshop, JELIA 2000, Málaga, Spain, September 29 - October 2, 2000 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics in artificial intelligence European workshop, JELIA 2000, Málaga, Spain, September 29 - October 2, 2000 ; proceedings

JELIA 2000 (2000 Málaga, Spain) Manuel Ojeda-Aciego 1967-

Berlin Springer London c2000

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

8
Automated deduction--CADE-17 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
Automated deduction--CADE-17 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction--CADE-17 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings

International Conference on Automated Deduction (17th 2000 Pittsburgh, Pa.) David A McAllester

Berlin Springer New York c2000

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

9
Automated deduction in classical and non-classical logics selected papers
Automated deduction in classical and non-classical logics selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction in classical and non-classical logics selected papers

Ricardo Caferra 1945-; Gernot Salzer 1963-

Berlin Springer New York c2000

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

10
Grammatical inference algorithms and applications : 5th international colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings
Grammatical inference algorithms and applications : 5th international colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Grammatical inference algorithms and applications : 5th international colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings

International Colloquium on Grammatical Inference (5th 2000 Lisbon, Portugal) Arlindo L Oliveira

Berlin Springer New York c2000

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

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

Buscando em bases de dados remotas. Favor aguardar.