Pages that link to "Item:Q2583288"
From MaRDI portal
The following pages link to Formal verification of a generic framework to synthesize SAT-provers (Q2583288):
Displayed 4 items.
- An approach from answer set programming to decision making in a railway interlocking system (Q740741) (← links)
- A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361) (← links)
- Formally verified tableau-based reasoners for a description logic (Q2351147) (← links)
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations (Q3637268) (← links)