Formalization of the MRDP Theorem in the Mizar System.

Published in: Formaliz. Math. (2019)

Keyphrases

computer assisted
von neumann
case study
data structure
trade off
formal model
database
feature extraction
knowledge representation
medical expert system