skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: 1990Até1999 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil

Brazilian Conference on Mathematical Logic (11th 1996 Salvador, Brazil) Walter A Carnielli (Walter Alexandre); Itala M. L D'Ottaviano 1944-

Providence, RI American Mathematical Society 1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 CM v.235 ) e outros locais(Acessar)

2
Advances in Petri nets, 1989
Advances in Petri nets, 1989
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in Petri nets, 1989

Grzegorz Rozenberg

Berlin New York Springer-Verlag c1990

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

3
Agents and multi-agent systems formalisms, methodologies, and applications : based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997
Agents and multi-agent systems formalisms, methodologies, and applications : based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997
Material Type:
Livro 		Adicionar ao Meu Espaço

Agents and multi-agent systems formalisms, methodologies, and applications : based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997

Wayne Wobcke 1963-; Maurice Pagnucco; Chengqi Zhang; Australian Joint Artificial Intelligence Conference (10th 1997 Perth, Australia)

Berlin Springer New York c1998

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

4
Algebraic and logic programming
Algebraic and logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic and logic programming

International Conference on Algebraic and Logic Programming, ALP'97, 6 1997 Southampton Michael Hanus; Jan Heering; Karl Meinke; International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA'97, 3; International Joint Conference ALP'97-HOA'97

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1997

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1298 )(Acessar)

5
Algebraic and logic programming
Algebraic and logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic and logic programming

International Conference, ALP'94, 4 1994 Madrid Giorgio Levi; Mario Rodriguez-Artalejo

Goos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1994

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.850 )(Acessar)

6
Algebraic and logic programming 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
Algebraic and logic programming 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic and logic programming 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings

Michael Hanus 1959-; J Heering; K Meinke (Karl); International Conference on Algebraic and Logic Programming (6th 1997 Southampton, England); International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (3rd 1997 Southampton, England)

Berlin Springer-Verlag New York c1997

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

7
Algebraic and logic programming proceedings
Algebraic and logic programming proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic and logic programming proceedings

International Workshop on Algebraic and Logic Programming. 3., Volterra, 1992 Helene Kirchner

Berlin Springer 1992

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

8
Algebraic and logic programming proceedings
Algebraic and logic programming proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic and logic programming proceedings

International Workshop on Algebraic and Logic Programming. 2., Nancy, 1990 Helene Kirchner; Wolfgang Wechler

Berlin Springer 1990

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

9
Algebraic and logic programming proceedings
Algebraic and logic programming proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic and logic programming proceedings

International Workshop on Algebraic and Logic Programming (4. 1994 Madrid) Giorogio Levi; Mario Rodriguez-Artalejo

Berlin Springer 1994

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

10
Algebraic and logic programming proceedings [of the] 5th international conference, alp'96, aachen, germany, september 25-27, 1996
Algebraic and logic programming proceedings [of the] 5th international conference, alp'96, aachen, germany, september 25-27, 1996
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic and logic programming proceedings [of the] 5th international conference, alp'96, aachen, germany, september 25-27, 1996

International Workshop on Algebraic and Logic Programming (5. 1996 Aachen, De) Michael Hanus; Mario Rodriguez-Artalejo

Berlin Springer 1996

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1139 ) e outros locais(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (224)
  2. Recursos Online (23)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (221)
  2. Produções Técnicas  (3)
  3. Artigos  (2)
  4. Produções Acadêmicas  (1)
  5. Revistas  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1992  (31)
  2. 1992Até1993  (34)
  3. 1994Até1995  (46)
  4. 1996Até1998  (90)
  5. Após 1998  (27)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (227)
  2. Francês  (2)
  3. Portuguê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.