Awarded Barwise Prize (2003).
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #award
- #achievement
Awarded Barwise Prize (2003).
Text from Wikipedia, available under CC BY-SA 4.0.
Captured 2026-08-21 from Wikipedia. The archived copy is preserved so this citation survives link rot.