Articles liés à Proof Theory and Automated Deduction

Proof Theory and Automated Deduction - Couverture rigide

Goubault-Larrecq, Jean; Mackie, Ian

 
9780792345930: Proof Theory and Automated Deduction
Couverture rigide
ISBN 10 : 0792345932 ISBN 13 : 9780792345930
Editeur : Kluwer Academic Publishers, 1997

Synopsis

This text covers basic notions in logic, with a particular stress on proof theory, as opposed to, for example, model theory or set theory. It shows how they are applied in computer science, and especially the particular field of automated deduction. That is to say, the automated search for proofs of mathematical propositions.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Kluwer Academic Publishers
Date d'édition
1997
Langue
anglais
ISBN 10 
0792345932
ISBN 13 
9780792345930
Reliure
Relié
Nombre de pages
440
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9781402003684: Proof Theory and Automated Deduction

Edition présentée

ISBN 10 :  1402003684 ISBN 13 :  9781402003684
Editeur : Springer, 2013
Couverture souple