Pages that link to "Item:Q1286273"
From MaRDI portal
The following pages link to A general theory of action languages (Q1286273):
Displaying 7 items.
- Generating symbolic traces in the insertion modeling system (Q895075) (← links)
- Entailment-based actions for coordination (Q1127518) (← links)
- Deductive tools of an algebraic programming system (Q1592004) (← links)
- Defining actions in concurrent declarative programming (Q2841291) (← links)
- (Q3992900) (← links)
- (Q4499161) (← links)
- Advances in Artificial Intelligence (Q5901322) (← links)