Proof Guidance in PVS with Sequential Pattern Mining

DOI10.1007/978-3-030-31517-7_4MaRDI QIDQ6488948FDOQ6488948

M. Nawaz, Philippe Fournier-Viger, Meng Sun

Publication date: 14 March 2024

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Proof Guidance in PVS with Sequential Pattern Mining

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488948)