Bonding calculus.

Bogdan Aman Gabriel Ciobanu

Published in: Nat. Comput. (2018)

Keyphrases

computer algebra
computer vision
automated deduction
real world
theorem prover
multiscale
timed automata
algebraic structure
automated theorem proving
formal language
theorem proving
database systems
decision trees
website
metadata
decision making
information retrieval