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
Proof and Computation
Proof and Computation
Proof and Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Proof and Computation

Helmut Schwichtenberg

Springer Berlin Heidelberg 1995

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

2
Logic program synthesis and transformation-- Meta-programming in Logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings
Logic program synthesis and transformation-- Meta-programming in Logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic program synthesis and transformation-- Meta-programming in Logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings

International Workshop on Logic Program Synthesis and Transformation (4th 1994 Pisa, Italy) Laurent Fribourg 1957-; Franco Turini 1949-; META '94 (1994 Pisa, Italy)

Berlin Springer-Verlag New York c1994

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

3
Proceedings : 18th IEEE Annual Conference on Computational Complexity : 7-10 July, 2003, Aarhus, Denmark
Proceedings : 18th IEEE Annual Conference on Computational Complexity : 7-10 July, 2003, Aarhus, Denmark
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings : 18th IEEE Annual Conference on Computational Complexity : 7-10 July, 2003, Aarhus, Denmark

IEEE Conference on Computational Complexity (18th : 2003 : Aarhus, Denmark) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; Association for Computing Machinery.

Los Alamitos, Calif. : IEEE Computer Society c2003

Localização: IME - Inst. Matemática e Estatística    (QA810.C C748c 18. )(Acessar)

4
Computational complexity : proceedings : 16th IEEE Conference on Computational Complexity : June 18-21, 2001, Chicago, Illinois
Computational complexity : proceedings : 16th IEEE Conference on Computational Complexity : June 18-21, 2001, Chicago, Illinois
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational complexity : proceedings : 16th IEEE Conference on Computational Complexity : June 18-21, 2001, Chicago, Illinois

IEEE Conference on Computational Complexity (16th : 2001 : Chicago, Ill.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; ACM Special Interest Group for Algorithms and Computation Theory.; European Association for Theoretical Computer Science.

Los Alamitos, Calif. : IEEE Computer Society c2001

Localização: IME - Inst. Matemática e Estatística    (QA810.C C748c 16. )(Acessar)

5
Computational complexity : proceedings : Fifteenth Annual IEEE Conference on Computational Complexity : July 4-7, 2000, Florence, Italy
Computational complexity : proceedings : Fifteenth Annual IEEE Conference on Computational Complexity : July 4-7, 2000, Florence, Italy
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational complexity : proceedings : Fifteenth Annual IEEE Conference on Computational Complexity : July 4-7, 2000, Florence, Italy

IEEE Conference on Computational Complexity (15th : 2000 : Florence, Italy) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; ACM Special Interest Group for Algorithms and Computation Theory.; European Association for Theoretical Computer Science.

Los Alamitos, Calif. : IEEE Computer Society c2000

Localização: IME - Inst. Matemática e Estatística    (QA810.C C748c 15. )(Acessar)

6
Logic programming proceedings of the North American conference, 1989
Logic programming proceedings of the North American conference, 1989
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming proceedings of the North American conference, 1989

North American Conference on Logic Programming (1989 Cleveland) Ewing Lusk; Ross A Overbeek

Cambridge, Mass. MIT Press c1989

Localização: EPBC - Esc. Politécnica-Bib Central    (004.424 N811L v.2 )(Acessar)

7
Inductive logic programming 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
Inductive logic programming 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive logic programming 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings

ILP '97 (7th 1997 Czech Republic) Nada Lavraéc; Saéso Dézeroski 1968-

Berlin Springer New York c1997

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

8
Inductive logic programming 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
Inductive logic programming 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive logic programming 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings

ILP-98 (Conference) (1998 Madison, Wis.) David Page 1963-

New York Springer London c1998

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

9
Logic based program synthesis and transformation 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers
Logic based program synthesis and transformation 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic based program synthesis and transformation 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

LOPSTR 2000 (2000 London, England) K.-K Lau 1953- (Kung-Kiu)

Berlin New York Springer c2001

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

10
Inductive logic programming 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings
Inductive logic programming 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive logic programming 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings

ILP 2003 (2003 Szeged, Hungary) Tamás Horváth 1962-; Akihiro Yamamoto 1960-

Berlin Springer New York c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.2835 )(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.922)
  2. Anais de Congresso  (1)
  3. Mais opções open sub menu

Assunto 

  1. Computer Science  (1.774)
  2. Congresses  (1.704)
  3. Machine Theory  (1.228)
  4. Computers  (1.145)
  5. Logics And Meanings Of Programs  (1.056)
  6. Logic Design  (1.036)
  7. Software Engineering  (1.015)
  8. Electronic Data Processing  (1.002)
  9. Artificial Intelligence  (980)
  10. Computer Logic  (978)
  11. Computer Software  (836)
  12. Electronic Brains  (808)
  13. Computer Programming, Programs, Data  (778)
  14. Mathematical Logic And Formal Languages  (767)
  15. Computer Programming  (746)
  16. Kongress  (742)
  17. Programming Languages  (731)
  18. Programming Languages, Compilers, Interpreters  (730)
  19. Mathematical Logic  (678)
  20. Ai  (672)
  21. Computational Complexity  (159)
  22. Logic Programming  (159)
  23. Programmation Logique  (77)
  24. Logic Programming  (71)
  25. Automatic Theorem Proving  (62)
  26. Programação Lógica (Congressos)  (26)
  27. Técnicas De Programação (Congressos)  (19)
  28. Inteligência Artificial  (16)
  29. Metodologia E Técnicas De Computação  (15)
  30. Programmation Logique  (12)
  31. Inteligência Artificial (Congressos)  (12)
  32. Técnicas De Programação  (10)
  33. Lógica Matemática  (10)
  34. Nonmonotonic Reasoning  (9)
  35. Nonlinear Boundary Value Problems  (8)
  36. Computational Complexity  (8)
  37. Programação Lógica  (8)
  38. Polynomials  (8)
  39. Nonmonotonic Reasoning  (7)
  40. Constraint Programming (Computer Science)  (7)
  41. Inteligência Artificial  (7)
  42. Functional Programming (Computer Science)  (6)
  43. Automatic Theorem Proving  (6)
  44. Verificação E Validação De Software (Congressos)  (6)
  45. Síntese De Programas (Congressos)  (6)
  46. Lógica Matemática  (4)
  47. Técnicas De Programação  (4)
  48. Programação Lógica  (1)
  49. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1989  (34)
  2. 1989Até1996  (140)
  3. 1997Até2004  (540)
  4. 2005Até2013  (743)
  5. Após 2013  (905)
  6. Mais opções open sub menu

Idioma 

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