Volume: Vol-3763 FCR 2024 | Year: 2024

Paper: « paper1 | paper2 | paper3 »

Using the Meaning of Symbol Names to Guide First-Order Logic Reasoning

• Claudia Schon ORCID dblp

19-27 PDF