खोज परिणाम

प्रस्तावित विषय : खोज निहित
  • प्रदर्शित 1 - 14 परिणाम 14
परिणाम को परिष्कृत करें
  1. 1
    कवर छवि

    Proof, logic, and formalization

    प्रकाशित 1992
    An electronic book accessible through the World Wide Web; click to view
    इलेक्ट्रोनिक ई-पुस्तक

    सूची में सहेजें
    में बचाया:
  2. 2
    कवर छवि

    Logic for concurrency and synchronisation

    प्रकाशित 2003
    An electronic book accessible through the World Wide Web; click to view
    इलेक्ट्रोनिक ई-पुस्तक

    सूची में सहेजें
    में बचाया:
  3. 3
    कवर छवि

    Lectures on the Curry-Howard isomorphism द्वारा Sørensen, Morten Heine

    प्रकाशित 2006
    An electronic book accessible through the World Wide Web; click to view
    इलेक्ट्रोनिक ई-पुस्तक

    सूची में सहेजें
    में बचाया:
  4. 4
    कवर छवि

    The nuts and bolts of proofs द्वारा Cupillari, Antonella

    प्रकाशित 2005
    An electronic book accessible through the World Wide Web; click to view
    इलेक्ट्रोनिक ई-पुस्तक

    सूची में सहेजें
    में बचाया:
  5. 5
    कवर छवि

    Memoirs of a proof theorist Gödel and other logicians / द्वारा Takeuti, Gaisi, 1926-

    प्रकाशित 2003
    An electronic book accessible through the World Wide Web; click to view
    इलेक्ट्रोनिक ई-पुस्तक

    सूची में सहेजें
    में बचाया:
  6. 6
    कवर छवि

    Tracking reason proof, consequence, and truth / द्वारा Azzouni, Jody

    प्रकाशित 2006
    An electronic book accessible through the World Wide Web; click to view
    इलेक्ट्रोनिक ई-पुस्तक

    सूची में सहेजें
    में बचाया:
  7. 7
    कवर छवि

    Conditional and preferential logics proof methods and theorem proving / द्वारा Pozzato, Gian Luca

    प्रकाशित 2010
    An electronic book accessible through the World Wide Web; click to view
    इलेक्ट्रोनिक ई-पुस्तक

    सूची में सहेजें
    में बचाया:
  8. 8
    कवर छवि

    Perspectives in logic logical foundations of proof complexity / द्वारा Cook, Stephen, 1948-

    प्रकाशित 2010
    An electronic book accessible through the World Wide Web; click to view
    इलेक्ट्रोनिक ई-पुस्तक

    सूची में सहेजें
    में बचाया:
  9. 9
    कवर छवि

    2-D quadratic maps and 3-D ODE systems a rigorous approach / द्वारा Zeraoulia, Elhadj

    प्रकाशित 2010
    An electronic book accessible through the World Wide Web; click to view
    इलेक्ट्रोनिक ई-पुस्तक

    सूची में सहेजें
    में बचाया:
  10. 10
    कवर छवि

    Charming proofs a journey into elegant mathematics / द्वारा Alsina, Claudi

    प्रकाशित 2010
    An electronic book accessible through the World Wide Web; click to view
    इलेक्ट्रोनिक ई-पुस्तक

    सूची में सहेजें
    में बचाया:
  11. 11
    कवर छवि

    Icons of mathematics an exploration of twenty key images / द्वारा Alsina, Claudi

    प्रकाशित 2011
    An electronic book accessible through the World Wide Web; click to view
    इलेक्ट्रोनिक ई-पुस्तक

    सूची में सहेजें
    में बचाया:
  12. 12
    कवर छवि

    Ways of proof theory द्वारा Schindler, Ralf

    प्रकाशित 2010
    An electronic book accessible through the World Wide Web; click to view
    इलेक्ट्रोनिक ई-पुस्तक

    सूची में सहेजें
    में बचाया:
  13. 13
    कवर छवि

    The elementary theory of groups : a guide through the proofs of the Tarski conjectures / द्वारा Fine, Benjamin, 1948-

    प्रकाशित 2014
    An electronic book accessible through the World Wide Web; click to view
    इलेक्ट्रोनिक ई-पुस्तक

    सूची में सहेजें
    में बचाया:
  14. 14
    कवर छवि

    Concepts of proof in mathematics, philosophy, and computer science /

    प्रकाशित 2016
    An electronic book accessible through the World Wide Web; click to view
    इलेक्ट्रोनिक ई-पुस्तक

    सूची में सहेजें
    में बचाया:

खोज साधन: