Pages that link to "Item:Q3453128"
From MaRDI portal
The following pages link to LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners (Q3453128):
Displaying 5 items.
- LeoPARD (Q25468) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Automating Free Logic in Isabelle/HOL (Q2819197) (← links)
- Agent-Based HOL Reasoning (Q2819202) (← links)
