Raymond Turner

Computable models

2009

Constructive foundations for functional languages

1991

Truth and modality for knowledge representation

1991

Logiques pour l'intelligence a

Logiques pour l'intelligence artificielle

1986

Logics for artificial intelligence

1984

Software engineering methodology

1984