Sign in
A Methodology for Designing Proof Search Calculi for Non-Classical Logics (Invited Talk).
Alwen Tiu
Published in:
FSCD (2022)
Keyphrases
</>
knowledge base
invited talk
proof search
theorem proving
linear logic
selected papers
expert systems
inference rules
theorem prover
knowledge discovery and data mining
neural network
information technology
proof procedure
dynamical systems
constraint satisfaction
program committee