Introducción al lenguaje formal y técnicas de demostración orientados a la Facultad de Economía y Empresa

Título

dc.contributor.advisor	Manrique García, María Aurora
dc.contributor.author	Manrique García, María Aurora
dc.contributor.author	Cascón Barbero, José Manuel
dc.contributor.author	Cesteros Muñoz, Federico
dc.contributor.author	García Sanz, María Dolores
dc.contributor.author	García Bernalt Alonso, Bernardo Ramón
dc.contributor.author	Santos García, Gustavo
dc.date.accessioned	2020-01-22T12:29:47Z
dc.date.available	2020-01-22T12:29:47Z
dc.date.issued	2019
dc.identifier.uri	http://hdl.handle.net/10366/140618
dc.description	Memoria ID-128. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2018-2019.	es_ES
dc.language.iso	spa	es_ES
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.subject	Memoria de innovación docente	es_ES
dc.subject	Matemáticas financieras	es_ES
dc.subject	Material didáctico virtual	es_ES
dc.title	Introducción al lenguaje formal y técnicas de demostración orientados a la Facultad de Economía y Empresa	es_ES
dc.type	info:eu-repo/semantics/report	es_ES
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es_ES