Pages that link to "Item:Q660990"

The following pages link to Sabina Petride (Q660990):

Displaying 4 items.

• A knowledge-based analysis of global function computation (Q660991) (← links)
• Knowledge-Based Synthesis of Distributed Systems Using Event Structures (Q3003333) (← links)
• A Knowledge-Based Analysis of Global Function Computation (Q3524301) (← links)
• Logic for Programming, Artificial Intelligence, and Reasoning (Q5705941) (← links)