Pages that link to "Item:Q5705941"

The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705941):

Displaying 2 items.

• A knowledge-based analysis of global function computation (Q660991) (← links)
• Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments (Q3087999) (← links)