Volume: Vol-3816 RuleML+RR-Companion 2024 | Year: 2024

Paper: « paper12 | paper17 | paper21 »

PolyCoP: A Connection Prover For (Possibly) Any Logical Language

• Pedro P. M. Farias dblp
• Fred Freitas ORCID dblp
• Renan Fernandes dblp
• Ivan Varzinczak ORCID dblp Wikidata

PDF