Sign in
Block-Based Models and Theorem Proving in Model-Based Development.
Cinzia Bernardeschi
Andrea Domenici
Adriano Fagiolini
Maurizio Palmieri
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2020)
Keyphrases
</>
theorem proving
automated reasoning
first order logic
theorem prover
proof planning
geometry theorem proving
inference rules
artificial intelligence
automatic programming
automated theorem proving
parallel search
term rewriting
consequence finding
learning algorithm
combinatorial search
automated deduction