Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

Збережено в:

Бібліографічні деталі
Автор:	Lupacchini, Rossella
Співавтор:	SpringerLink (Online service)
Інші автори:	Corsi, Giovanna
Формат:	Електронний ресурс eКнига
Мова:	Англійська
Опубліковано:	Milano : Springer Milan, 2008.
Предмети:	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.
Онлайн доступ:	http://dx.doi.org/10.1007/978-88-470-0784-0
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!