skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Frontiers of Combining Systems
Frontiers of Combining Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Frontiers of Combining Systems

FroCoS 2000 Hélène Kirchner; Christophe Ringeissen

Springer Berlin Heidelberg 2000

Acesso online

2
Frontiers of Combining Systems
Frontiers of Combining Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Frontiers of Combining Systems

Pascal Ringeissen, Christophe Schmidt, Renate Fontaine Christophe Ringeissen; Renate Schmidt

Springer Berlin Heidelberg 2013

Acesso online

3
Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic Methodology and Software Technology

International Conference on Algebraic Methodology and Software Technology Hélène Kirchner; Christophe Ringeissen

Springer Berlin Heidelberg 2002

Acesso online

4
Algebraic methodology and software technology 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
Algebraic methodology and software technology 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methodology and software technology 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings

AMAST 2002 (2002 Saint-Gilles-les-Bains, Réunion) H Kirchner (Hélène); Christophe Ringeissen 1967-

Berlin Springer London c2002

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

5
Frontiers of combining systems
Frontiers of combining systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Frontiers of combining systems

International Workshop on Frontiers of Combining Systems, 3, FroCoS 2000 2000 Nancy Helene Kirchner; Christophe Ringeissen

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

Berlin Springer-Verlag c2000

Localização: IFSC - Inst. Física de São Carlos    (P001.5 L471 v.1794 )(Acessar)

6
Frontiers of combining systems third international workshop, FroCoS 2000, Nancy, France, March 2000
Frontiers of combining systems third international workshop, FroCoS 2000, Nancy, France, March 2000
Material Type:
Livro 		Adicionar ao Meu Espaço

Frontiers of combining systems third international workshop, FroCoS 2000, Nancy, France, March 2000

FroCoS 2000 (3rd 2000 Nancy, France) H Kirchner (Hélène); Christophe Ringeissen 1967-

Berlin Springer London c2000

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

7
Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings
Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings

Kirchner, Helene ; Ringeissen, Christophe Kirchner, Hélène ; Ringeissen, Christophe

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
8
A rule-based system for automatic decidability and combinability
A rule-based system for automatic decidability and combinability
Material Type:
Artigo 		Adicionar ao Meu Espaço

A rule-based system for automatic decidability and combinability

Tushkanova, E. ; Giorgetti, A. ; Ringeissen, C. ; Kouchnarenko, O.

Science of computer programming, 2015-03, Vol.99, p.3-23 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Temporal Query Answering in the Description Logic DL-Lite
Temporal Query Answering in the Description Logic DL-Lite
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Temporal Query Answering in the Description Logic DL-Lite

Borgwardt, Stefan ; Lippmann, Marcel ; Thost, Veronika Ringeissen, Christophe ; Fontaine, Pascal ; Schmidt, Renate A.

Frontiers of Combining Systems, p.165-180 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Unions of non-disjoint theories and combinations of satisfiability procedures
Unions of non-disjoint theories and combinations of satisfiability procedures
Material Type:
Artigo 		Adicionar ao Meu Espaço

Unions of non-disjoint theories and combinations of satisfiability procedures

Tinelli, Cesare ; Ringeissen, Christophe

Theoretical computer science, 2003, Vol.290 (1), p.291-353 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
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. Anais de Congresso  (35)
  2. Artigos  (25)
  3. Book Chapters  (13)
  4. Livros  (7)
  5. Audio  (4)
  6. Archival Material / Manuscripts  (1)
  7. Dissertações  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1964  (5)
  2. 1964Até1996  (10)
  3. 1997Até2002  (32)
  4. 2003Até2013  (31)
  5. Após 2013  (8)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (78)
  2. Francês  (8)
  3. Japonês  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.