skip to main content
Idioma:

Resultados de 1 a 10 de 46  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Algebraic k-theory of fields and special groups
Algebraic k-theory of fields and special groups
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Algebraic k-theory of fields and special groups

Maximo Alejandro Dickmann Francisco Miraglia Neto; Brazilian Conference on Mathematical Logic (11. 1996 Salvador)

Advances in contemporary logic and computer science Providence : AMS, 1999

Providence AMS 1999

Localização: IME - Inst. Matemática e Estatística    (S C761 v.235 ) e outros locais(Acessar)

2
Objetos Imitadores: teoremas limitativos pensados a partir da computação
Objetos Imitadores: teoremas limitativos pensados a partir da computação
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Objetos Imitadores: teoremas limitativos pensados a partir da computação

Stolf, Euclides Torres Ometto

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2022-09-08

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

3
Extending EL++ with linear constraints on the probability of axioms
Extending EL++ with linear constraints on the probability of axioms
Material Type:
Livro 		Adicionar ao Meu Espaço

Extending EL++ with linear constraints on the probability of axioms

Marcelo Finger

Lutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019

Cham Springer 2019

Localização: IME - Inst. Matemática e Estatística    (PROD-2953686 )(Acessar)

4
Pseudo-contractions as gentle repairs
Pseudo-contractions as gentle repairs
Material Type:
Livro 		Adicionar ao Meu Espaço

Pseudo-contractions as gentle repairs

Vinícius Bitencourt Matos Ricardo Guimarães; Yuri David Santos; Renata Wassermann

Lutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019

Cham Springer 2019

Localização: IME - Inst. Matemática e Estatística    (PROD-2962949 )(Acessar)

5
Bringing AGM to computer science
Bringing AGM to computer science
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bringing AGM to computer science

Renata Wassermann Márcio Moretto Ribeiro

South American Journal of Logic Campinas v. 1, n. 2, p. 447-459, 2015

Campinas 2015

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

6
Approximations of Modal Logic K
Approximations of Modal Logic K
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Approximations of Modal Logic K

Guilherme de Souza Rabello Marcelo Finger; Workshop on Logic, Language, Information and Computation - WoLLIC (12. 2005 Florianópolis, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 14 , p. 171-184, 2006

Amsterdam Elsevier 2006

Localização: IME - Inst. Matemática e Estatística    (PROD-3009534 )(Acessar)

7
Word sense disambiguation using inductive logic programming
Word sense disambiguation using inductive logic programming
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Word sense disambiguation using inductive logic programming

Lucia Specia Ashwin Srinivasan; Ganesh Ramakrishnan; Maria das Graças Volpe Nunes; International Conference , Inductive Logic Programming 16 2006 Santiago de Compostela

Lecture Notes in Computer Science v. 4455, p. 409-423, 2007

Berlim Springer 2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1624571 ) e outros locais(Acessar)

8
Logic, language, information, and computation
Logic, language, information, and computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic, language, information, and computation

Alexandra Silva Renata Wassermann; Ruy de Queiroz; International Workshop on Logic, Language, Information, and Computation - WoLLIC (27. 2021 virtual event)

Cham Springer 2021

Localização: IME - Inst. Matemática e Estatística    (PROD-3052847 )(Acessar)

9
Uma ferramenta para o ensino de inteligência artificial usando jogos de computador
Uma ferramenta para o ensino de inteligência artificial usando jogos de computador
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Uma ferramenta para o ensino de inteligência artificial usando jogos de computador

Silva, Filipe Correa Lima Da

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2008-01-16

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

10
Learning temporal interval relations using inductive logic programming
Learning temporal interval relations using inductive logic programming
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Learning temporal interval relations using inductive logic programming

Maria do Carmo Nicoletti Flávia Oliveira Santos de Sá Lisboa; Estevam Rafael Hruschka Junior; International Conference on Integrated Computing Technology - INTECH (2011 São Carlos)

Communications in Computer and Information Science Heidelberg : Springer v. 165, p. 90-104, 2011

Heidelberg Springer 2011

Localização: IFSC - Inst. Física de São Carlos    (PROD019463 ) e outros locais(Acessar)

Resultados de 1 a 10 de 46  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (40)
  2. Recursos Online (2)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (35)
  2. Produções Acadêmicas  (8)
  3. Livros  (3)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2003  (5)
  2. 2003Até2006  (11)
  3. 2007Até2010  (11)
  4. 2011Até2018  (11)
  5. Após 2018  (9)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.