R
Raymond Turner
1947
8 works on record
Works
Computable models
Properties, types and meaning
Software engineering methodology
Constructive foundations for functional languages
Truth and modality for knowledge representation
Logics for artificial intelligence
Tolley's Charities Manual
Tolley's Charities Manual
Logiques pour l'intelligence artificielle
Logiques pour l'intelligence artificielle