Incollection3014

PublikationenPublications

• Nach AutorBy Author
  • Martin DillerMartin Diller
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic
  • Logische Programmierung und ArgumentationLogic Programming and Argumentation

Toggle side column

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

• Download

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

• Details
• Bibtex

• 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}
}