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

Date : 1997

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 1-4020-0368-4

ISBN : 978-1-4020-0368-4

Programmation (mathématiques)

Logique mathématique

Théorie de la démonstration

Théorèmes -- Démonstration automatique

Classification Dewey : 511.3

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

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

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