The following pages link to Ursula Martin Webb (Q1169557):
Displaying 7 items.
- (Q199256) (redirect page) (← links)
- Applications of real number theorem proving in PVS (Q469367) (← links)
- A Hoare logic for linear systems (Q469998) (← links)
- Automating the Knuth Bendix ordering (Q751830) (← links)
- Explanation in mathematical conversations: an empirical investigation (Q5204808) (← links)
- Panelist position statement: logic and models in computer science (Q5301854) (← links)
- Computational logic and the social (Q5739970) (← links)
