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
Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis
Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis

Reis, Teofilo De Souza Universidade Estadual de Campinas (Unicamp); Coniglio, Marcelo Esteban, 1963-; Bianconi, Ricardo; D'Ottaviano, Itala Maria Loffredo; Feitosa, Hercules De Araujo; Carnielli, Walter Alexandre; Universidade Estadual De Campinas. Instituto De Filosofia E Ciências Humanas; Programa De Pós-Graduação Em Filosofia; Universidade Estadual De Campinas

https://repositorio.unicamp.br/acervo/detalhe/432670

[s.n.] 2008

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

2
Grammatical inference: learning automata and grammars
Grammatical inference: learning automata and grammars
Grammatical inference: learning automata and grammars
Material Type:
Livro 		Adicionar ao Meu Espaço

Grammatical inference: learning automata and grammars

Colin De la Higuera

Leiden Cambridge University Press 2010

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

3
Mathematical foundations of programming
Mathematical foundations of programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical foundations of programming

Frank S. Beckman

Reading, MA Addison-Wesley c1980

Localização: ICMC - Inst. Ciên. Mat. Computação    (68P05.01 B393m e.1 ) e outros locais(Acessar)

4
Grammatical inference 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings
Grammatical inference 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Grammatical inference 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings

Vasant Honavar; Giora Slutzki; International Colloquium on Grammatical Inference (4th 1998 Ames, Iowa)

Berlin Springer New York c1998

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

5
Grammatical inference and applications second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
Grammatical inference and applications second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Grammatical inference and applications second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings

Rafael C Carrasco 1963-; Jose Oncina 1962-; International Colloquium on Grammatical Inference (2nd 1994 Alicante, Spain)

Berlin New York Springer-Verlag c1994

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

6
Computability, complexity, and languages fundamentals of theoretical computer science
Computability, complexity, and languages fundamentals of theoretical computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability, complexity, and languages fundamentals of theoretical computer science

Martin Davis 1928- Ron Sigal; Elaine J Weyuker

Boston Academic Press, Harcourt, Brace 1994

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (510.52 D295c ) e outros locais(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
Elements of the theory of computation
Elements of the theory of computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Elements of the theory of computation

Harry R. Lewis Christos H Papadimitriou

Upper Saddle River, N.J. Prentice-Hall c1998

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004 L586e2 e.8 ) e outros locais(Acessar)

9
Grammatical inference algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, October 11-13 2004 : proceedings
Grammatical inference algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, October 11-13 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Grammatical inference algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, October 11-13 2004 : proceedings

International Colloquium on Grammatical Inference (7th 2004 Athens, Greece) Georgios Paliouras 1970; Yasubumi Sakakibara

Berlin Springer New York c2004

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

10
Elements of the theory of computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Elements of the theory of computation

Harry R. Lewis Christos H Papadimitriou

Englewood Cliffs, N.J. Prentice-Hall c1981

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004 L586e ) e outros locais(Acessar)

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. Livros  (1.607)
  2. Artigos  (1.067)
  3. Anais de Congresso  (487)
  4. Book Chapters  (94)
  5. Verbetes  (8)
  6. Reports  (7)
  7. magazinearticle  (2)
  8. Conjunto de Dados  (1)
  9. Produções Acadêmicas  (1)
  10. Mais opções open sub menu

Assunto 

  1. Computer Science  (2.823)
  2. Mathematical Logic And Formal Languages  (2.600)
  3. Artificial Intelligence  (1.669)
  4. Mathematical Logic  (1.403)
  5. Machine Theory  (1.272)
  6. Logics And Meanings Of Programs  (1.058)
  7. Congresses  (1.027)
  8. Mathematical Logic And Foundations  (885)
  9. Software Engineering  (882)
  10. Mathematics  (863)
  11. Science & Technology  (819)
  12. Symbolic And Algebraic Manipulation  (794)
  13. Technology  (770)
  14. Computers  (739)
  15. Logic Design  (723)
  16. Logic, Symbolic And Mathematical  (709)
  17. Computer Logic  (702)
  18. Programming Languages, Compilers, Interpreters  (644)
  19. Programming Languages  (594)
  20. Kongress  (583)
  21. Logic  (575)
  22. Formal Languages  (218)
  23. Computational Complexity  (180)
  24. Langages Formels  (50)
  25. Lógica Matemática  (23)
  26. Formal Languages  (12)
  27. Inteligência Artificial  (10)
  28. Linguagens Formais  (7)
  29. Lógica Simbólica  (7)
  30. Linguagens Formais  (6)
  31. Linguagem De Programação  (6)
  32. Lógica Simbólica E Matemática  (5)
  33. Inteligência Artificial  (4)
  34. Computational Complexity  (3)
  35. Teoria Da Computação  (3)
  36. Computabilidade E Complexidade  (2)
  37. Teoria Da Computação  (2)
  38. Lógica Matemática  (2)
  39. Inteligência Artificial (Congressos)  (2)
  40. Linguagem De Programação  (1)
  41. Computabilidade E Complexidade  (1)
  42. Lógica Matemática (Dissertação Mestrado)  (1)
  43. Langages Formels  (1)
  44. Lógica Simbólica  (1)
  45. Metodologia E Técnicas De Computação  (1)
  46. Teoria Dos Autômatos  (1)
  47. Teoria Dos Autômatos  (1)
  48. Lógica Simbólica E Matemática  (1)
  49. Logic  (1)
  50. Logique Symbolique Et Math Ematique  (1)
  51. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1967  (22)
  2. 1967Até1982  (33)
  3. 1983Até1996  (365)
  4. 1997Até2011  (1.567)
  5. Após 2011  (1.569)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (3.265)
  2. Japonês  (55)
  3. Alemão  (17)
  4. Francês  (7)
  5. Italiano  (4)
  6. Português  (1)
  7. Indeterminado  (1)
  8. Espanhol  (1)
  9. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.