skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computational Logic
Computational Logic
Computational Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational Logic

Ulrich Berger Helmut Schwichtenberg

Springer Berlin Heidelberg 1999

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

2
Logics for Databases and Information Systems
Logics for Databases and Information Systems
Logics for Databases and Information Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics for Databases and Information Systems

Jan Saake, Gunter Chomicki Gunter Saake

Springer US 1998

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

3
Challenges for Action Theories
Challenges for Action Theories
Challenges for Action Theories
Material Type:
Livro 		Adicionar ao Meu Espaço

Challenges for Action Theories

Michael Thielscher

Springer Berlin Heidelberg 2000

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

4
Logic in computer science modelling and reasoning about systems
Logic in computer science modelling and reasoning about systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic in computer science modelling and reasoning about systems

Michael Huth 1962- Mark Ryan 1962-

Cambridge, England Cambridge University Press New York 2000

Localização: IME - Inst. Matemática e Estatística    (QA11.7 H979L )(Acessar)

5
Learning Language in Logic
Learning Language in Logic
Learning Language in Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Learning Language in Logic

James Cussens James Cussens; Sašo Džeroski

Springer Berlin Heidelberg 2000

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

6
The calculus of computation decision procedures with applications to verification
The calculus of computation decision procedures with applications to verification
Material Type:
Livro 		Adicionar ao Meu Espaço

The calculus of computation decision procedures with applications to verification

Aaron R Bradley Zohar Manna

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (QA11.7 B811c )(Acessar)

7
Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Workshop on Computer Science Logic (13th 1999 Madrid, Spain) Jörg Flum; M Rodríguez Artalejo (Mario); European Association for Computer Science Logic Conference Madrid, Spain) 1999

Berlin New York Springer c1999

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

8
Computational logic--CL 2000 First International Conference, London, UK, July 24-28, 2000 : proceedings
Computational logic--CL 2000 First International Conference, London, UK, July 24-28, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational logic--CL 2000 First International Conference, London, UK, July 24-28, 2000 : proceedings

CL 2000 (2000 London, England) J. W Lloyd 1947- (John Wylie)

Berlin Springer New York c2000

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

9
Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings

Workshop on Computer Science Logic (14th 2000 Fischbachau, Germany) Peter Clote; Helmut Schwichtenberg 1942-; European Association for Computer Science Logic Conference Fischbachau, Germany) 2000

Berlin Springer New York c2000

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

10
Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings
Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings

Workshop on Computer Science Logic (19th 2005 Oxford, England) European Association for Computer Science Logic Conference 2005 Oxford, England)

Berlin Springer New York c2005

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

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 (166.811)
  2. Revistas revisadas por pares (101.399)
  3. Disponível na Biblioteca (186)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (110.991)
  2. Anais de Congresso  (66.788)
  3. Book Chapters  (14.488)
  4. Livros  (11.293)
  5. Reports  (8.230)
  6. magazinearticle  (1.805)
  7. Dissertações  (1.051)
  8. Newsletter Articles  (484)
  9. Resenhas  (204)
  10. Recursos Textuais  (152)
  11. Artigos de Jornal  (136)
  12. Verbetes  (73)
  13. Patentes  (57)
  14. Conjunto de Dados  (43)
  15. Videos  (39)
  16. Imagens  (31)
  17. Standards  (29)
  18. Web Resources  (25)
  19. Produções Acadêmicas  (3)
  20. Software  (2)
  21. Mais opções open sub menu

Assunto 

  1. Computer Science  (138.445)
  2. Science & Technology  (135.303)
  3. Technology  (129.958)
  4. Engineering  (64.313)
  5. Computer Science, Artificial Intelligence  (44.365)
  6. Engineering, Electrical & Electronic  (44.043)
  7. Computer Science, Theory & Methods  (40.784)
  8. Fuzzy Logic  (39.192)
  9. Logic  (36.096)
  10. Artificial Intelligence  (33.223)
  11. Algorithms  (30.873)
  12. Computer Science, Information Systems  (22.802)
  13. Exact Sciences And Technology  (22.068)
  14. Mathematics  (20.270)
  15. Computer Science, Hardware & Architecture  (19.648)
  16. Computer Science, Interdisciplinary Applications  (19.250)
  17. Applied Sciences  (18.580)
  18. Physical Sciences  (18.515)
  19. Logic Gates  (17.382)
  20. Computer Science, Software Engineering  (17.236)
  21. Logic Programming  (8.499)
  22. Logic Design  (7.271)
  23. Computer Logic  (5.275)
  24. Logic, Symbolic And Mathematical  (2.315)
  25. Vhdl  (225)
  26. Lógica Matemática  (75)
  27. Inteligência Artificial  (52)
  28. Inteligência Artificial  (50)
  29. Logic, Symbolic And Mathematical  (45)
  30. Computer Logic  (38)
  31. Logic Programming  (36)
  32. Lógica Matemática  (31)
  33. Metodologia E Técnicas De Computação  (22)
  34. Logic Design  (22)
  35. Inteligência Artificial (Congressos)  (20)
  36. Natural Language Processing (Computer Science)  (15)
  37. Vhdl (Computer Hardware Description Language)  (13)
  38. Lógica Matemática (Congressos)  (13)
  39. Linguagem De Programação  (12)
  40. Linguagem De Programação  (12)
  41. Eletrônica Digital  (11)
  42. Teoria Da Computação  (11)
  43. Arquitetura E Organização De Computadores  (11)
  44. Knowledge Representation (Information Theory)  (11)
  45. Conceptual Structures (Information Theory)  (10)
  46. Vhdl  (10)
  47. Teoria Da Computação  (8)
  48. Arquitetura E Organização De Computadores  (8)
  49. Eletrônica Digital  (7)
  50. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1961  (157)
  2. 1961Até1975  (3.803)
  3. 1976Até1990  (12.117)
  4. 1991Até2006  (51.357)
  5. Após 2006  (152.559)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (214.120)
  2. Japonês  (6.860)
  3. Alemão  (959)
  4. Chinês  (695)
  5. Francês  (620)
  6. Ndongo  (272)
  7. Português  (207)
  8. Espanhol  (172)
  9. Interlingue  (117)
  10. Russo  (66)
  11. Turco  (29)
  12. Norueguês  (16)
  13. Italiano  (15)
  14. Coreano  (15)
  15. Catalão  (14)
  16. Tcheco  (7)
  17. Polonês  (7)
  18. Árabe  (6)
  19. Ucraniano  (5)
  20. Persa  (4)
  21. Indeterminado  (2)
  22. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.