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

Date :

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

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