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 5 next page
Mostrar Somente
Refinado por: assunto: Machine Theory remover assunto: Mathematical Logic remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings

Glaser, Hugh ; Hartel, Pieter ; Kuchen, Herbert Kuchen, Herbert ; Hartel, Pieter ; Glaser, Hugh

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

Citações Citado por
2
Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings
Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Hermenegildo, Manuel ; Penjam, Jaan Hermenegildo, Manuel ; Penjam, Jaan

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
3
Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

Castor, Fernando ; Liu, Yu David Liu, Yu David ; Castor, Fernando

Cham: Springer International Publishing AG 2016

Texto completo disponível

Citações Citado por
4
Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings
Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Maluszyński, Jan ; Wirsing, Martin Wirsing, Martin ; Maluszyński, Jan

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
5
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

Hermenegildo, Manuel ; Swierstra, S. Doaitse Swierstra, S. Doaitse ; Hermenegildo, Manuel

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
6
Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings

Deransart, Pierre ; Maluszyński, Jan Maluszyński, Jan ; Deransart, Pierre

Berlin, Heidelberg: Springer Berlin Heidelberg 1990

Texto completo disponível

Citações Citado por
7
Automata, Languages and Programming: 13th International Colloquium Rennes, France, July 15–19, 1986 Proceedings
Automata, Languages and Programming: 13th International Colloquium Rennes, France, July 15–19, 1986 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, Languages and Programming: 13th International Colloquium Rennes, France, July 15–19, 1986 Proceedings

Kott, Laurent Kott, Laurent

Berlin, Heidelberg: Springer Berlin Heidelberg 1986

Texto completo disponível

Citações Citado por
8
Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings
Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings

Smolka, Gert Smolka, Gert

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
9
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Ausiello, Giorgio ; Dezani-Ciancaglini, Mariangiola ; Rocca, Simonetta Ronchi Della Dezani-Ciancaglini, Mariangiola ; Ausiello, Giorgio ; Della Rocca, Simonetta Ronchi

Berlin, Heidelberg: Springer Berlin Heidelberg 1989

Texto completo disponível

Citações Citado por
10
Automata, Languages and Programming: 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings
Automata, Languages and Programming: 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, Languages and Programming: 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings

Lingas, Andrzej ; Karlsson, Rolf ; Carlsson, Svante Karlsson, Rolf ; Carlsson, Svante ; Lingas, Andrzej

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

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.   

Mostrar Somente

  1. Recursos Online (852)
  2. Revistas revisadas por pares (408)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (934)
  2. Anais de Congresso  (1)
  3. Artigos  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1989  (20)
  2. 1989Até1996  (91)
  3. 1997Até2004  (310)
  4. 2005Até2013  (430)
  5. Após 2013  (356)
  6. Mais opções open sub menu

Idioma 

  1. Alemão  (3)
  2. Japonês  (3)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.