Buscar
Mostrando ítems 11-20 de 1909
Formal Semantics for Java-like Languages and Research Opportunities
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2018)
NautiLOD: A Formal Language for the Web of Data Graph
(ACM, 2015)
The Web of Linked Data is a huge graph of distributed and interlinked datasources fueled by structured
information. This new environment calls for formal languages and tools to automatize navigation across
datasources ...
The human capacity for language and Formal Linguistics in BrazilLa capacidad humana para el lenguaje y la lingüística formal en BrasilA capacidade humana para linguagem e a linguística formal no Brasil
(Programa de Pós-Graduação em Linguística - UFSC, 2020)
Buscando condiciones de adecuación para la reconstrucción de teoríasLooking for conditions of adequacy for the reconstruction of theories
(Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero, 2015-10-01)
En filosofía especial de la ciencia se hace necesario disponer de criterios de justificación de las reconstrucciones propuestas. Pero los filósofos se han ocupado mucho de la justificación de las teorías y poco de la ...
THE TEACHING AND LEARNING OF FORMAL SYSTEMS, OF MATHEMATICS IN THE UNIVERSITY CONTEXTLa enseñanza y aprendizaje de los sistemas formales, de la matemática en el contexto universitario
(Subdirección de Investigación y Postgrado, 2020)