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 next page
Mostrar Somente
Refinado por: Biblioteca: ICMC - Inst. Ciên. Mat. Computação remover assunto: Lógica Matemática remover IFSC - Inst. Física de São Carlos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Challenges for Action Theories
Challenges for Action Theories
Challenges for Action Theories
Material Type:
Livro 		Adicionar ao Meu Espaço

Challenges for Action Theories

Michael Thielscher

Springer Berlin Heidelberg 2000

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

2
Extensions of logic programming proceedings [of the] 5th international workshop, ELP'96, held in Leipzig, Germany, march 28-30, 1996
Extensions of logic programming proceedings [of the] 5th international workshop, ELP'96, held in Leipzig, Germany, march 28-30, 1996
Material Type:
Livro 		Adicionar ao Meu Espaço

Extensions of logic programming proceedings [of the] 5th international workshop, ELP'96, held in Leipzig, Germany, march 28-30, 1996

ELP'96 (1996 Leipzig, Germany Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heister

Berlin Springer 1996

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

3
Automated deduction - CADE-15
Automated deduction - CADE-15
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction - CADE-15

C kircher; Kirchner, Helene

Berlin Springer 1998

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

4
A Tight, Practical Integration of Relations and Functions
A Tight, Practical Integration of Relations and Functions
A Tight, Practical Integration of Relations and Functions
Material Type:
Livro 		Adicionar ao Meu Espaço

A Tight, Practical Integration of Relations and Functions

Harold Boley

Springer Berlin Heidelberg 1999

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

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

6
Learning classifier systems from foundations to applications
Learning classifier systems from foundations to applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Learning classifier systems from foundations to applications

Pier Luca Lanzi 1967-; Wolfgang Stolzmann 1966-; Stewart W Wilson 1937-

Berlin Springer New York c2000

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

7
Computational logic--CL 2000 First International Conference, London, UK, July 24-28, 2000 : proceedings
Computational logic--CL 2000 First International Conference, London, UK, July 24-28, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational logic--CL 2000 First International Conference, London, UK, July 24-28, 2000 : proceedings

CL 2000 (2000 London, England) J. W Lloyd 1947- (John Wylie)

Berlin Springer New York c2000

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

8
Computational learning theory 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computer Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001 : proceedings
Computational learning theory 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computer Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational learning theory 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computer Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001 : proceedings

Annual conference on Computer Learning Theory (14th 2001 Amsterdam, The Netherlands) David Helmbold; Bob Williamson; European Conference on Computational Learning Theory (5th 2001 Amsterdam, The Netherlands)

Berlin Springer 2001

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

9
Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings

Workshop on Computer Science Logic (14th 2000 Fischbachau, Germany) Peter Clote; Helmut Schwichtenberg 1942-; European Association for Computer Science Logic Conference Fischbachau, Germany) 2000

Berlin Springer New York c2000

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

10
Abstraction, reformulation, and approximation 4th international symposium, SARA 2000, Horsehoe Bay, USA, July 26-29, 2000 : proceedings
Abstraction, reformulation, and approximation 4th international symposium, SARA 2000, Horsehoe Bay, USA, July 26-29, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Abstraction, reformulation, and approximation 4th international symposium, SARA 2000, Horsehoe Bay, USA, July 26-29, 2000 : proceedings

SARA 2000 (2000 Lake LBJ, Tex.) Berthe Y Choueiry 1963-; Toby Walsh

Berlin Springer New York c2000

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

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (3)

Data de Publicação 

De até
Refinar
  1. Antes de1995  (1)
  2. 1995Até1995  (2)
  3. 1996Até1996  (1)
  4. 1997Até1998  (4)
  5. Após 1998  (31)
  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.