Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Manzano Arjona, María Gracia"'
Autor:
Fuertes Herreros, José Luis, Martín Gómez, María, Álvarez Toledo, Sebastián, Bonete Perales, Enrique, Espinosa Rubio, Luciano, Franco Rodríguez, Reynner Rafael, García Peña, Ignacio, Hernández Marcos, Maximiliano, Hernández Sánchez, Domingo, López de la Vieja de la Torre, María Teresa, Manzano Arjona, María Gracia, Moldovan, Andrei, Notario Ruiz, Antonio, Torres González, Obdulia María, Velayos Castelo, María Carmen, Cuevas Badallo, Ana, Jiménez Castaño, David
Publikováno v:
GREDOS. Repositorio Institucional de la Universidad de Salamanca
instname
instname
Memoria ID-0267. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2014-2015.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::86493f7ce3a549e523b039151254a614
http://hdl.handle.net/10366/126868
http://hdl.handle.net/10366/126868
Autor:
Fernández-Labandera Tejado, Eva, Manzano Arjona, María Gracia, Torres González, Obdulia, Álvarez Toledo, Sebastián
Publikováno v:
GREDOS. Repositorio Institucional de la Universidad de Salamanca
instname
instname
Memoria ID11-113. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2011-2012.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=RECOLECTA___::bf0ee6e47f3b4328e273b521340a068a
http://hdl.handle.net/10366/120762
http://hdl.handle.net/10366/120762
Autor:
Chamoso Santos, Pablo, Corchado Rodríguez, Emilio Santiago, Corchado Rodríguez, Juan Manuel, Esteban Vicente, Francisco J., García-Peñalvo, Francisco J., González Arrieta, María Angélica, González Briones, Alfonso, González Torres, Antonio, González Velasco, Óscar, López Barriuso, Alberto, Manzano Arjona, María Gracia, Martín Rodríguez, Isabel, Miguel Quintales, Luis Antonio, Olmo Rodríguez, Rodrigo, Paz Santana, Juan Francisco de, Parra Vidales, Víctor, Pérez Lancho, María Belén, Rodríguez González, Sara, Sánchez Martín, Antonio J., Therón Sánchez, Roberto, Uclés Mármol, Juan Carlos
Publikováno v:
GREDOS. Repositorio Institucional de la Universidad de Salamanca
instname
instname
[ES]El Máster Oficial en Sistemas Inteligentes de la Universidad de Salamanca tiene como principal objetivo promover la iniciación de los estudiantes en el ámbito de la investigación. El congreso organizado por el Departamento de Informática y A
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::643f50af33aeecd15b350df7702b2306
Autor:
Álvarez Toledo, Sebastián, Manzano Arjona, María Gracia, Torres González, Obdulia, Cazana Canchis, Serapio
Publikováno v:
GREDOS. Repositorio Institucional de la Universidad de Salamanca
instname
instname
Memoria ID11-112. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2011-2012. La realización de este proyecto ha conseguido, como era su objetivo, una notable mejora de la página ya existente del máster y doctorado de Lógi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=RECOLECTA___::4dda3e6641e5866ba7200cbc92eec75b
http://hdl.handle.net/10366/120761
http://hdl.handle.net/10366/120761
Autor:
Pinto Prieto, Daira
Publikováno v:
UVaDOC. Repositorio Documental de la Universidad de Valladolid
instname
instname
Sahlqvist theory is an important result in the model theory of modal logic, since it identifies a class of formulas which have effectively computable first order correspondents. Recently, this theory has been generalised to a larger set of logics by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::95c15fcc620b6c798411f9f4aff2d9d1
http://uvadoc.uva.es/handle/10324/45558
http://uvadoc.uva.es/handle/10324/45558
Autor:
Ordóñez Miguéns, Ismael
Publikováno v:
GREDOS. Repositorio Institucional de la Universidad de Salamanca
instname
instname
Trabajo de Fin de Máster en Investigación en Lógica y Filosofía de la Ciencia, curso 2017-2018
[ES] En la actualidad la lógica se constituye como una disciplina intrínsecamente plural, albergando diversos sistemas diseñados para razonar s
[ES] En la actualidad la lógica se constituye como una disciplina intrínsecamente plural, albergando diversos sistemas diseñados para razonar s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::50d02559acbf3204ebf275ba5bbea39e
https://hdl.handle.net/10366/140424
https://hdl.handle.net/10366/140424
Autor:
Fuentes Guillén, Elías
Publikováno v:
GREDOS. Repositorio Institucional de la Universidad de Salamanca
instname
instname
[ES]La historiografía y la filosofía de la matemática usualmente describen las reformas educativas llevadas a cabo en Francia y los territorios germánicos durante la última década del siglo XVIII y la primera del siglo XIX de la siguiente maner
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::58273c517a2564aa9be60b66ab2e4baa
http://hdl.handle.net/10366/138244
http://hdl.handle.net/10366/138244
Publikováno v:
GREDOS. Repositorio Institucional de la Universidad de Salamanca
instname
instname
[ES] Esta es una disertación sobre dos preguntas: si y cómo los sentidos de las expresiones de un lenguaje pueden ser modelados matemáticamente; y sobre una respuesta: las intensiones son un medio necesario pero no suficiente para comprender total
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4a06696e7d288093a80460b0d6aea267
https://hdl.handle.net/10366/137458
https://hdl.handle.net/10366/137458
Autor:
Gabriela Hernández Deciderio
Publikováno v:
GREDOS. Repositorio Institucional de la Universidad de Salamanca
instname
instname
[ES]Desde el surgimiento del Begriffsschrift de Frege [1879], no ha parado la producción de sistemas lógicos; incluso, se ha intensificado por la conjunción de investigaciones en lógica y ciencias de la computación. Además, la producción de nu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b900f17e74c038b97caa838e28110762
http://hdl.handle.net/10366/128155
http://hdl.handle.net/10366/128155