Developing Field Theory in Mizar.

Christoph Schwarzweller

Published in: FedCSIS (2023)

Keyphrases

computational model
database
decision trees
computer assisted
general theory
neural network
database systems
bayesian networks
special case
collaborative learning
theoretical framework
theoretical basis
mathematical foundations
formal theory