A Unified Proof for Finding a Minimal Spanning Tree.

Published in: ICoMS (2020)

Keyphrases

minimal spanning tree
artificial neural networks
database
information systems
high quality
unified model
finding optimal
data sets
learning algorithm
multimedia
three dimensional
theorem prover
theorem proving