Jean Goubault-Larrecq

Œuvres (1)

Couverture : Proof theory and automated deduction

Proof theory and automated deduction

1997