C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs.
Matthias Schlaipfer
Georg Weissenbacher
Published in:
J. Autom. Reason. (2016)
Keyphrases
</>
theorem proving
building blocks
retrieval systems
management system
decision procedures
high quality
expert systems
multiresolution
high resolution
distributed systems
intelligent systems
knowledge based systems
complex systems
inductive logic programming
constraint propagation