Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie

Date : 1997

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-7923-4593-2

EAN : 9780792345930

Théorie de la démonstration

Théorèmes -- Démonstration automatique

Classification Dewey : 005.131

Goubault-Larrecq, Jean (19..-....) (Auteur / author)

Mackie, Ian (1968-....) (Auteur / author)

Collection : Applied logic series / London : Kluwer Academic Publishers , 1996-2004