Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument.
David FuenmayorChristoph BenzmüllerPublished in: Arch. Formal Proofs (2017)
Keyphrases
- computer assisted
- computer aided
- intraoperative
- image reconstruction
- foreign language
- three dimensional
- reconstruction method
- high resolution
- knowledge representation
- computer assisted instruction
- reconstruction process
- surgical training
- domain ontology
- image analysis
- pattern recognition
- computer vision
- discrete tomography