Login / Signup
First-Order Interpolation and Grey Areas of Proofs (Invited Talk).
Laura Kovács
Published in:
CSL (2017)
Keyphrases
</>
invited talk
knowledge discovery and data mining
selected papers
first order logic
higher order
theorem proving
grey relational analysis
artificial intelligence
image interpolation
grey model
learning systems
recent advances