Pages that link to "Item:Q4312345"
From MaRDI portal
The following pages link to Direct deductive computation on discourse representation structures (Q4312345):
Displaying 4 items.
- A calculus for first order discourse representation structures (Q1923839) (← links)
- Computation with run time skolemisation (N-Prolog part 3) (Q4275698) (← links)
- Reasoning without believing: on the mechanisation of presuppositions and partiality (Q4583173) (← links)
- Projection: A unification procedure for tableaux in Conceptual Graphs (Q4610329) (← links)
