Hacía un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación
Aus International Center for Computational Logic
Hacía un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación
Martin DillerMartin Diller
Martin Diller
Hacía un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación
In Las prácticas científicas: aportes para un enfoque epistemológico, 31-62. Editorial Brujas, 2011
Hacía un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación
In Las prácticas científicas: aportes para un enfoque epistemológico, 31-62. Editorial Brujas, 2011
- Forschungsgruppe:Research Group: Computational LogicComputational Logic, Logische Programmierung und ArgumentationLogic Programming and Argumentation
@incollection{D2011,
author = {Martin Diller},
title = {Hac{\'{\i}}a un marco ontol{\'{o}}gico y epistemol{\'{o}}gico
para una metodolog{\'{\i}}a de la verificaci{\'{o}}n de los
programas computacionales en ciencia de la computaci{\'{o}}n},
booktitle = {Las pr{\'{a}}cticas cient{\'{\i}}ficas: aportes para un enfoque
epistemol{\'{o}}gico},
publisher = {Editorial Brujas},
year = {2011},
pages = {31-62}
}
