Artículos relacionados a Concepts of Proof in Mathematics, Philosophy, and Computer...
Concepts of Proof in Mathematics, Philosophy, and Computer Science: 6 (Ontos Mathematical Logic) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Dieter Probst, Inst. of Computer Science, U. Bern, Switzerland.Peter Schuster, Dept. of Computer Science, U. Verona, Italy.
"Sobre este título" puede pertenecer a otra edición de este libro.
(Ningún ejemplar disponible)
Buscar: Crear una petición¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.
Crear una petición
