Towards a Clausal Analysis of Proof Schemata.

David M. Cerna Michael Peter Lettmann

Published in: SYNASC (2017)

Keyphrases

data sets
neural network
machine learning
case study
multi agent
data analysis
statistical analysis
decision procedures