Articles liés à Concepts of Proof in Mathematics, Philosophy, and Computer...
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
This book provides the reader with research arising from the Humboldt-Kolleg 'Proof' held in Bern in fall 2013, which gathered leading experts actively involved with the concept 'proof' in philosophy, mathematics and computer science. This volume aims to do justice to the breadth and depth of the subject and presents relevant current conceptions and technical advances featuring 'proof' in those fields.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Dieter Probst, Inst. of Computer Science, U. Bern, Switzerland.Peter Schuster, Dept. of Computer Science, U. Verona, Italy.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
