Pages that link to "Item:Q5046390"

The following pages link to Logical verification of scientific discovery (Q5046390):

Displaying 4 items.

• Proof systems for planning under 0-approximation semantics (Q893736) (← links)
• A general framework for computing maximal contractions (Q2418637) (← links)
• A decomposition based algorithm for maximal contractions (Q2418656) (← links)
• Logical verification of scientific discovery (Q5046390) (← links)