कवर छवि
क्यूआर कोड

Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

अन्य संस्करण दिखाएं (3)
में बचाया:
मुख्य लेखक: Lupacchini, Rossella
निगमित लेखक: SpringerLink (Online service)
अन्य लेखक: Corsi, Giovanna
स्वरूप: इलेक्ट्रोनिक ई-पुस्तक
भाषा:अंग्रेज़ी
प्रकाशित: 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
टैग: टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

इंटरनेट

http://dx.doi.org/10.1007/978-88-470-0784-0

समान संसाधन