Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

Zapisane w:

Opis bibliograficzny
1. autor:	Lupacchini, Rossella
Korporacja:	SpringerLink (Online service)
Kolejni autorzy:	Corsi, Giovanna
Format:	Elektroniczne E-book
Język:	angielski
Wydane:	Milano : Springer Milan, 2008.
Hasła przedmiotowe:	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.
Dostęp online:	http://dx.doi.org/10.1007/978-88-470-0784-0
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!