Elementary proof that is a DCI-group.

Published in: Discret. Math. (2015)

Keyphrases

bayesian networks
theorem proving
database systems
theorem prover
data sets
neural network
real world
digital libraries
information technology
group members
linear logic
school children