Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Lupacchini, Rossella
Korporativní autor:	SpringerLink (Online service)
Další autoři:	Corsi, Giovanna
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Milano : Springer Milan, 2008.
Témata:	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.
On-line přístup:	http://dx.doi.org/10.1007/978-88-470-0784-0
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Internet