FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

This page contains an index consisting of author-provided keywords.

B
Basic education	A Rule-Based Theorem Prover: an Introduction to Proofs at 7th Year
D
Deductive Database Method	Rule Based Geometry Automated Theorem Provers
Deductive database method for geometry	A Rule-Based Theorem Prover: an Introduction to Proofs at 7th Year
E
Euclidean Geometry	A Rule-Based Theorem Prover: an Introduction to Proofs at 7th Year
F
first-order logic	On Exams with the Isabelle Proof Assistant
Full-angle Method	Rule Based Geometry Automated Theorem Provers
G
Geometry automated theorem provers	Rule Based Geometry Automated Theorem Provers A Rule-Based Theorem Prover: an Introduction to Proofs at 7th Year
H
Higher-order logic	On Exams with the Isabelle Proof Assistant
hoare logic	A Proof Tree Builder for Sequent Calculus and Hoare Logic
I
Isabelle Proof Assistant	On Exams with the Isabelle Proof Assistant
M
Mathematical Knowledge Exploration	Invited Talk: Computer-assisted proofs and automated methods in Mathematics Education
Mathematics Education	Invited Talk: Computer-assisted proofs and automated methods in Mathematics Education
P
proof assistant	A Proof Tree Builder for Sequent Calculus and Hoare Logic
Proof Discovery	Invited Talk: Computer-assisted proofs and automated methods in Mathematics Education
proof tree	A Proof Tree Builder for Sequent Calculus and Hoare Logic
R
Rule Based Theorem Provers	Rule Based Geometry Automated Theorem Provers
S
Satisfiability Modulo Theories	Invited Talk: Satisfiability Modulo Theories in an Undergraduate Class
Sequent Calculus	A Proof Tree Builder for Sequent Calculus and Hoare Logic
SMT-solvers	Invited Talk: Satisfiability Modulo Theories in an Undergraduate Class
T
teaching automated reasoning	Invited Talk: Satisfiability Modulo Theories in an Undergraduate Class

Disclaimer | Powered by EasyChair Smart Program