Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

Guardado en:

Detalles Bibliográficos
Autor principal:	Lupacchini, Rossella
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Corsi, Giovanna
Formato:	Electrónico eBook
Lenguaje:	inglés
Publicado:	Milano : Springer Milan, 2008.
Materias:	Philosophy (General). Logic. Philosophy of nature. Information theory. Logic, Symbolic and mathematical. Mathematical physics. Philosophy. Philosophy of Nature. Theory of Computation. Mathematical Logic and Foundations. Mathematical and Computational Physics.
Acceso en línea:	http://dx.doi.org/10.1007/978-88-470-0784-0
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet