A Consistent Foundation for Isabelle/HOL.

Ondrej Kuncar Andrei Popescu

Published in: J. Autom. Reason. (2019)

Keyphrases

theorem prover
natural deduction
theorem proving
inference rules
first order logic
higher order logic
information retrieval
neural network
database systems
consistency constraints
information systems
three dimensional
information technology
pairwise
theoretical foundation
globally optimal