Pages that link to "Item:Q5310665"
From MaRDI portal
The following pages link to Tarski's influence on computer science (Q5310665):
Displaying 4 items.
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- Richard Bellman's contributions to computer science (Q1081590) (← links)
- Contribution of Warsaw logicians to computational logic (Q2422533) (← links)