skip to main content
previous page 1 Resultados 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Material Type:
Artigo
Adicionar ao Meu Espaço

Base Revision for Ontology Debugging

Ribeiro, Marcio M.; Wassermann, Renata Universidade De São Paulo

JOURNAL OF LOGIC AND COMPUTATION, v.19, n.5, p.721-743, 2009

OXFORD UNIV PRESS 2009

Acesso online

12
Fuzzy logic and neuroFuzzy applications in business and finance
Material Type:
Livro
Adicionar ao Meu Espaço

Fuzzy logic and neuroFuzzy applications in business and finance

Constantin Von Altrock

Upper Saddle River, N.J. Prentice Hall PTR c1997

Localização: FEA - Fac. Econ. Adm. e Contab.    (658.0564 V945f ) e outros locais(Acessar)

13
Logic from computer science proceedings of a workshop held November 13-17, 1989
Material Type:
Livro
Adicionar ao Meu Espaço

Logic from computer science proceedings of a workshop held November 13-17, 1989

Yiannis N Moschovakis

New York Springer-Verlag c1992

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

14
Frontiers of combining systems 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Frontiers of combining systems 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings

FroCoS 2002 (2002 Santa Margherita Ligure, Italy) Alessandro Armando

Berlin Springer New York 2002

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

15
Material Type:
Artigo
Adicionar ao Meu Espaço

A logic-based agent that plans for extended reachability goals

Pereira, Silvio Lago; Barros, Leliane Nunes De Universidade De São Paulo

AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, v.16, n.3, p.327-344, 2008

SPRINGER 2008

Acesso online

16
Material Type:
Artigo
Adicionar ao Meu Espaço

Analytic Methods for the Logic of Proofs

Finger, Marcelo Universidade De São Paulo

JOURNAL OF LOGIC AND COMPUTATION, v.20, n.1, p.167-188, 2010

OXFORD UNIV PRESS 2010

Acesso online

17
An object-oriented approach to programming logic and design
Material Type:
Livro
Adicionar ao Meu Espaço

An object-oriented approach to programming logic and design

Joyce Farrell

Boston, MA. Course Technology-Cengage Learning c2011

Localização: EPEL - Esc. Politécnica-Bib Eng Eletr    (005.115 F247o3 )(Acessar)

18
Logic of Computation
Logic of Computation
Material Type:
Livro
Adicionar ao Meu Espaço

Logic of Computation

Helmut Schwichtenberg

Springer Berlin Heidelberg 1997

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

19
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures
Material Type:
Livro
Adicionar ao Meu Espaço

Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures

Paulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcock; Pernambuco Summer School on Software Engineering 2007 Recife; PSSE (2 2007.12.03-07 Recife); Pernambuco Summer School on Software Engineering (2 2007.12.03-07 Recife)

Berlin u.a. Springer 2010

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

20
Material Type:
Artigo
Adicionar ao Meu Espaço

Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence

Campos, Cassio Polpo De; Cozman, Fabio Gagliardi; Luna, Jose Eduardo Ochoa Universidade De São Paulo

JOURNAL OF APPLIED LOGIC, v.7, n.2, Special Issue, p.137-154, 2009

ELSEVIER SCIENCE BV 2009

Acesso online

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (16.605)
  2. Recursos Online (45.032)
  3. Disponível na Biblioteca (89)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (25.473)
  2. Anais de Congresso  (15.408)
  3. Book Chapters  (1.961)
  4. Livros  (1.778)
  5. Relatórios Técnicos  (172)
  6. Dissertações  (118)
  7. Resenhas  (51)
  8. Recursos Textuais  (20)
  9. Artigos de Jornal  (2)
  10. Verbetes  (1)
  11. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1960  (239)
  2. 1960Até1974  (934)
  3. 1975Até1989  (2.579)
  4. 1990Até2005  (13.922)
  5. Após 2005  (27.387)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (37.876)
  2. Indeterminado  (49)
  3. Francês  (32)
  4. Espanhol  (18)
  5. Alemão  (16)
  6. Português  (15)
  7. Japonês  (7)
  8. Russo  (4)
  9. Chinês  (3)
  10. Tcheco  (2)
  11. Polonês  (1)
  12. Italiano  (1)
  13. Norueguês  (1)
  14. Mais opções open sub menu

Nome da Publicação 

  1. arXiv.org  (3.650)
  2. Electronic Proceedings in Theoretical Computer Science  (1.349)
  3. Electronic Proceedings in Theoretical Computer Science, EPTCS  (1.086)
  4. Logical Methods In Computer Science  (814)
  5. Theoretical Computer Science  (588)
  6. Electronic Notes in Theoretical Computer Science  (553)
  7. Expert systems with applications  (325)
  8. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  (323)
  9. Artificial Intelligence  (226)
  10. Information and Computation  (183)
  11. Information Processing Letters  (163)
  12. Mathematical Structures in Computer Science  (100)
  13. Theory And Practice Of Logic Programming  (96)
  14. Journal of Automated Reasoning  (70)
  15. Journal of logic and computation  (62)
  16. Annals of Pure and Applied Logic  (57)
  17. Leibniz International Proceedings in Informatics, LIPIcs  (52)
  18. Scientific Annals of Computer Science  (10)
  19. Journal of Logical and Algebraic Methods in Programming  (10)
  20. JISTEM - Journal of Information Systems and Technology Management (Online)  (2)
  21. Lecture Notes in Artificial Intelligence  (2)
  22. Revista Contabilidade & Finanças  (1)
  23. Revista UNINGÁ Review  (1)
  24. REGE Revista de Gestão  (1)
  25. MATRIZes  (1)
  26. Revista Estudos Culturais  (1)
  27. RAI - Revista de Administração e Inovação  (1)
  28. Literatura e Sociedade  (1)
  29. Ergonomics  (1)
  30. Filologia e Linguística Portuguesa  (1)
  31. Revista de Direito Sanitário  (1)
  32. Oculum ensaios  (1)
  33. Cadernos Espinosanos  (1)
  34. Revista Brasileira de Reprodução Animal  (1)
  35. Opiniães  (1)
  36. GEOUSP: Espaço e Tempo (Online)  (1)
  37. Revista USP  (1)
  38. Revista científica eletrônica de medicina veterinária  (1)
  39. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finkbeiner, Bernd
  2. Bonchi, Filippo
  3. Dowek, Gilles
  4. Milius, Stefan
  5. Jacobs, Bart

Buscando em bases de dados remotas. Favor aguardar.