skip to main content
Idioma:
Resultados 1 2 next page
Refinado por: assunto: Inteligência Artificial remover assunto: Linguagens Formais remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Conditional term rewriting systems proceedings
Conditional term rewriting systems proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Conditional term rewriting systems proceedings

International Workshop on Conditional Term Rewriting Systems, 1., Orsay, 1987 Jean-Pierre Jouannaud

Berlin Springer 1988

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

2
Conditional and typed rewriting systems proceedings
Conditional and typed rewriting systems proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Conditional and typed rewriting systems proceedings

International Workshop on Conditional Term Rewriting Systems, 2., Montreal, 1990 Stephane Kaplan

Berlin Springer 1991

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

3
Conditional term rewriting systems
Conditional term rewriting systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Conditional term rewriting systems

International Workshop CTRS (3rd 1992 : Pont-à-Mousson, France) M Rusinowitch (Michael); J. L Remy

Berlin New York Springer-Verlag 1993

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

4
Conditional and typed rewriting systems proceedings
Conditional and typed rewriting systems proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Conditional and typed rewriting systems proceedings

International Workshop on Conditional Term Rewriting Systems (4. 1994 Jerusalem, Il) Nachum Dershowitz; Naomi Lindenstrauss

Berlin Springner 1995

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

5
Advances in computing science - ASIAN 2000 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedings
Advances in computing science - ASIAN 2000 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in computing science - ASIAN 2000 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedings

Asian Computing Science Conference (6th 2000 Penang, Malaysia) Jifeng He 1943-; Masahiko Sato 1947-

Berlin Springer New York c2000

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

6
Natural language processing - NLP 2000 Second International Conference, Patras, Greece, June 2-4, 2000 : proceedings
Natural language processing - NLP 2000 Second International Conference, Patras, Greece, June 2-4, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Natural language processing - NLP 2000 Second International Conference, Patras, Greece, June 2-4, 2000 : proceedings

International Conference on Natural Language Processing (2nd 2000 Patras, Greece) Dimitrios Christodoulakis

Berlin Springer New York 2000

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

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

8
Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

CSL 2001 (2001 Paris, France) Laurent Fribourg 1957-; European Association for Computer Science Logic

London Springer Berlin 2001

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

9
Computational intelligence theory and applications : international conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001 : proceedings
Computational intelligence theory and applications : international conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational intelligence theory and applications : international conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001 : proceedings

B Reusch (Bernd)

Berlin Springer London c2001

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

10
Modeling and using context third international and interdisciplinary conference, CONTEXT 2001, Dundee, UK, July 27-30, 2001 : proceedings
Modeling and using context third international and interdisciplinary conference, CONTEXT 2001, Dundee, UK, July 27-30, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Modeling and using context third international and interdisciplinary conference, CONTEXT 2001, Dundee, UK, July 27-30, 2001 : proceedings

International and Interdisciplinary Conference on Modeling and Using Context (3rd 2001 Dundee, Scotland) Varol Akman

Berlin Springer-Verlag New York 2001

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Data de Publicação 

De até
Refinar
  1. Antes de1991  (1)
  2. 1991Até1992  (1)
  3. 1993Até1994  (1)
  4. 1995Até2000  (4)
  5. Após 2000  (12)
  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.