Audience role in mathematical proof development.

Published in: Synth. (2021)

Keyphrases

software engineering
case study
knowledge based systems
mathematical proofs
database
data sets
neural network
genetic algorithm
computer vision
decision support
development process
theorem prover
systems development