Deduction, Computation, Experiment Exploring the Effectiveness of Proof

Record details

ISBN: 9788847007840
Physical Description: electronic
electronic resource
access
remote
online resource.
Publisher: Milano : Springer Milan, 2008.

Subject:

Add to basket Print Email Permalink Disable Highlighting

LDR	01647nam a22004575i 4500
001	28932
003	CONS
005	20131220124626.0
007	cr nn 008mamaa
008	100301s2008 it \| s \|\|\|\| 0\|eng d
020		.	‡a9788847007840 ‡9978-88-470-0784-0
024	7	.	‡a10.1007/978-88-470-0784-0 ‡2doi
035		.	‡a(DE-He213)978-88-470-0784-0
050		4.	‡aBC1-199
072		7.	‡aHPL ‡2bicssc
072		7.	‡aPHI011000 ‡2bisacsh
100	1	.	‡aLupacchini, Rossella. ‡eeditor.
245	1	0.	‡aDeduction, Computation, Experiment ‡h[electronic resource] : ‡bExploring the Effectiveness of Proof / ‡cedited by Rossella Lupacchini, Giovanna Corsi.
264		1.	‡aMilano : ‡bSpringer Milan, ‡c2008.
300		.	‡bonline resource.
336		.	‡atext ‡btxt ‡2rdacontent
337		.	‡acomputer ‡bc ‡2rdamedia
338		.	‡aonline resource ‡bcr ‡2rdacarrier
347		.	‡atext file ‡bPDF ‡2rda
650		0.	‡aPhilosophy (General).
650		0.	‡aLogic.
650		0.	‡aPhilosophy of nature.
650		0.	‡aInformation theory.
650		0.	‡aLogic, Symbolic and mathematical.
650		0.	‡aMathematical physics.
650	1	4.	‡aPhilosophy.
650	2	4.	‡aLogic.
650	2	4.	‡aPhilosophy of Nature.
650	2	4.	‡aTheory of Computation.
650	2	4.	‡aMathematical Logic and Foundations.
650	2	4.	‡aMathematical and Computational Physics.
700	1	.	‡aCorsi, Giovanna. ‡eeditor.
710	2	.	‡aSpringerLink (Online service)
773	0	.	‡tSpringer eBooks
776	0	8.	‡iPrinted edition: ‡z9788847007833
856	4	0.	‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-88-470-0784-0 ‡yTexto completo ‡9CONS
950		.	‡aHumanities, Social Sciences and Law (Springer-11648)
901		.	‡a28932 ‡b ‡c28932 ‡tbiblio ‡sSystem Local

◄ Previous

Back To Results
Showing Item 3 of 3