Local reversibility in a Calculus of Covalent Bonding.

Stefan Kuhn Irek Ulidowski

Published in: Sci. Comput. Program. (2018)

Keyphrases

markov chain
neural network
markov processes
databases
feature selection
case study
expert systems
learning algorithm
computer vision
data structure
automated theorem proving
automated deduction
algebraic structure
provably correct
van der waals