Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Lupacchini, Rossella
Korporativna značnica:	SpringerLink (Online service)
Drugi avtorji:	Corsi, Giovanna
Format:	Elektronski eKnjiga
Jezik:	angleščina
Izdano:	Milano : Springer Milan, 2008.
Teme:	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 dostop:	http://dx.doi.org/10.1007/978-88-470-0784-0
Oznake:	Označite Brez oznak, prvi označite!

Internet