Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Lupacchini, Rossella
Coauteur:	SpringerLink (Online service)
Andere auteurs:	Corsi, Giovanna
Formaat:	Elektronisch E-boek
Taal:	Engels
Gepubliceerd in:	Milano : Springer Milan, 2008.
Onderwerpen:	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.
Online toegang:	http://dx.doi.org/10.1007/978-88-470-0784-0
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Internet