Towards the Structure of Mathematical Proof.

Published in: CICM Workshops (2014)

Keyphrases

structural information
structural properties
neural network
data mining
information systems
multi agent systems
digital libraries
lower bound
network structure