skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar solo
Refinado por: fecha de publicación: Después de 2018 eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Objetos Imitadores: teoremas limitativos pensados a partir da computação
Objetos Imitadores: teoremas limitativos pensados a partir da computação
Material Type:
Tesis de Maestria 		Añadir a Mi Portal

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

Acceso en línea. La biblioteca tiene también copias físicas.

2
Pseudo-contractions as gentle repairs
Pseudo-contractions as gentle repairs
Material Type:
Libro 		Añadir a Mi Portal

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

Disponible en IME - Inst. Matemática e Estatística    (PROD-2962949 )(Obténgalo)

3
Extending EL++ with linear constraints on the probability of axioms
Extending EL++ with linear constraints on the probability of axioms
Material Type:
Libro 		Añadir a Mi Portal

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

Disponible en IME - Inst. Matemática e Estatística    (PROD-2953686 )(Obténgalo)

4
Logic, language, information, and computation
Logic, language, information, and computation
Material Type:
Libro 		Añadir a Mi Portal

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

Disponible en IME - Inst. Matemática e Estatística    (PROD-3052847 )(Obténgalo)

5
Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences
Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences
Material Type:
Libro 		Añadir a Mi Portal

Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences

Amit Shukla

MDPI - Multidisciplinary Digital Publishing Institute 2023

Acceso en línea

6
Specifying preferences over policies using branching time temporal logic
Specifying preferences over policies using branching time temporal logic
Material Type:
Artículo de Congreso 		Añadir a Mi Portal

Specifying preferences over policies using branching time temporal logic

Warlles Carlos Costa Machado Viviane Bonadia dos Santos; Leliane Nunes de Barros; Maria Viviane de Menezes; Brazilian Conference on Intelligent Systems - (BRACIS) (12. 2023 Belo Horizonte, MG)

Proceedings Cham : Springer, 2023

Cham Springer 2023

Disponible en IME - Inst. Matemática e Estatística    (PROD-3158835 )(Obténgalo)

7
An efficient algorithm for representing piecewise linear functions into logic
An efficient algorithm for representing piecewise linear functions into logic
Material Type:
Artículo de Congreso 		Añadir a Mi Portal

An efficient algorithm for representing piecewise linear functions into logic

Sandro Preto Marcelo Finger; International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020 (15. 2020 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 351, p.167-186, 2020

Amsterdam Elsevier 2020

Disponible en IME - Inst. Matemática e Estatística    (PROD-3013847 )(Obténgalo)

8
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
Material Type:
Artículo 		Añadir a Mi Portal

Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability

Sandro Preto Marcelo Finger

Mathematical Structures in Computer Science Cambridge v. 32, n. 9, p. 1119-1144, 2022

Cambridge 2022

Disponible en IME - Inst. Matemática e Estatística    (PROD-3078150 )(Obténgalo)

9
Bits and qubits
Bits and qubits
Material Type:
Artículo 		Añadir a Mi Portal

Bits and qubits

Universidade Estadual de Campinas (Unicamp); Lavor, Carlile Campos, 1968-; Universidade Estadual De Campinas

https://repositorio.unicamp.br/acervo/detalhe/1224734

2019

Acceso en línea

10
Hyperintensional models and belief change
Hyperintensional models and belief change
Material Type:
Artículo de Congreso 		Añadir a Mi Portal

Hyperintensional models and belief change

Marlo Souza Renata Wassermann; Brazilian Conference on Intelligent Systems - BRACIS (11. 2022 Campinas, SP)

Proceedings Cham: Springer, 2022

Cham Springer 2022

Disponible en IME - Inst. Matemática e Estatística    (PROD-3122898 )(Obténgalo)

Resultados 1 2 3 4 5 next page

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Recursos en línea (235.436)
  2. Revistas arbitradas (221.470)
  3. Disponible (9)

Refinar mis resultados

Tipo de Recurso 

  1. Artículos  (231.827)
  2. Capítulos de libro  (65.351)
  3. Actas de Congreso  (37.931)
  4. Artículos de boletín  (7.586)
  5. Libros  (4.410)
  6. magazinearticle  (2.631)
  7. Entradas de Referencia  (1.928)
  8. Reseñas  (1.440)
  9. Artículos de Prensa  (1.432)
  10. Tesis  (845)
  11. Informes  (231)
  12. Conjunto de Datos  (105)
  13. Estándares  (72)
  14. Recursos de Texto  (70)
  15. Recursos web  (55)
  16. Vídeos  (44)
  17. Imágenes  (15)
  18. Otros  (4)
  19. Producciones Académicas  (2)
  20. Patentes  (2)
  21. Más opciones open sub menu

Idioma 

  1. Inglés  (352.781)
  2. Japonés  (5.417)
  3. Español  (2.739)
  4. Portugués  (2.309)
  5. Alemán  (852)
  6. Francés  (688)
  7. Chino  (358)
  8. Ruso  (261)
  9. Noruego  (209)
  10. Italiano  (159)
  11. Polaco  (156)
  12. Turco  (100)
  13. Croatian  (78)
  14. Ucraniano  (76)
  15. Czech  (74)
  16. Coreano  (40)
  17. Afrikaans  (38)
  18. Indonesian  (37)
  19. Árabe  (37)
  20. Eslovaco  (28)
  21. Sin definir  (2)
  22. Más opciones open sub menu

Nuevas sugerencias de búsqueda

Ignorar mi consulta y buscar por todo

por este autor/creador:

  1. Wassermann, R
  2. Finger, M
  3. Silva, A
  4. Souza, M
  5. Universidade Estadual de Campinas

con este tema:

  1. Science & Technology
  2. Technology
  3. Computer Science
  4. Engineering
  5. Algorithms

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora