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
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
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)

4
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.

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
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)

7
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)

8
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)

9
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)

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Reports  (2.646)
  2. Livros  (1.348)
  3. Anais de Congresso  (934)
  4. Artigos  (614)
  5. Book Chapters  (176)
  6. magazinearticle  (20)
  7. Dissertações  (7)
  8. Recursos Textuais  (1)
  9. Mais opções open sub menu

Assunto 

  1. Computer Logic  (4.007)
  2. Physics  (1.545)
  3. Optics  (1.532)
  4. Exact Sciences And Technology  (1.523)
  5. Fundamental Areas Of Phenomenology  (1.508)
  6. Optical Computers, Logic Elements, Interconnects, Switches; Neural Networks  (1.507)
  7. Optical Elements, Devices, And Systems  (1.507)
  8. Computer Science  (1.442)
  9. Computer Programming  (1.349)
  10. Logic Design  (1.314)
  11. Computers  (1.242)
  12. Logics And Meanings Of Programs  (1.203)
  13. Science & Technology  (1.165)
  14. Physical Sciences  (1.056)
  15. Computer Programming And Software  (1.049)
  16. Computer Hardware  (1.034)
  17. Programming Languages  (985)
  18. Congresses  (961)
  19. Software Engineering  (916)
  20. Mathematical Logic  (859)
  21. Logic, Symbolic And Mathematical  (513)
  22. Logique Informatique  (98)
  23. Automatic Theorem Proving  (71)
  24. Computational Logic  (20)
  25. Lógica Matemática  (17)
  26. Inteligência Artificial  (14)
  27. Lógica Matemática  (9)
  28. Inteligência Artificial  (8)
  29. Lógica Matemática (Congressos)  (7)
  30. Distributed Artificial Intelligence  (6)
  31. Inteligência Artificial (Congressos)  (6)
  32. Automatic Theorem Proving  (4)
  33. Logique Informatique  (4)
  34. Sistemas Multiagentes (Congressos)  (4)
  35. Computational logic  (4)
  36. Intelligent Agents (Computer Software)  (3)
  37. Teoria Da Computação  (3)
  38. Linguagens Formais  (3)
  39. Clima  (3)
  40. Multi-Agent Systems  (3)
  41. Multi-Agent Systems  (3)
  42. Programming Languages (Electronic Computers)  (3)
  43. Linguagens Formais  (2)
  44. Logic, Symbolic And Mathematical  (2)
  45. Semântica De Programação (Congressos)  (2)
  46. Teoria Da Computação  (2)
  47. Distributed Artificial Intelligence  (2)
  48. Prova Automática De Teoremas  (2)
  49. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1965  (681)
  2. 1965Até1978  (1.181)
  3. 1979Até1992  (540)
  4. 1993Até2007  (2.207)
  5. Após 2007  (1.660)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (5.742)
  2. Japonês  (86)
  3. Alemão  (5)
  4. Catalão  (3)
  5. Português  (1)
  6. Francês  (1)
  7. Espanhol  (1)
  8. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.