Arama Sonuçları

Önerilen Konular
  • Gösterilen 1 - 14 sonuçlar arası kayıtlar. 14
Sonuçları Daraltın
  1. 1
    Kapak Resmi

    Proof, logic, and formalization

    Baskı/Yayın Bilgisi 1992
    An electronic book accessible through the World Wide Web; click to view
    Elektronik Ekitap

    Favorilerime ekle
    Kaydedildi:
  2. 2
    Kapak Resmi

    Logic for concurrency and synchronisation

    Baskı/Yayın Bilgisi 2003
    An electronic book accessible through the World Wide Web; click to view
    Elektronik Ekitap

    Favorilerime ekle
    Kaydedildi:
  3. 3
    Kapak Resmi

    Lectures on the Curry-Howard isomorphism Yazar: Sørensen, Morten Heine

    Baskı/Yayın Bilgisi 2006
    An electronic book accessible through the World Wide Web; click to view
    Elektronik Ekitap

    Favorilerime ekle
    Kaydedildi:
  4. 4
    Kapak Resmi

    The nuts and bolts of proofs Yazar: Cupillari, Antonella

    Baskı/Yayın Bilgisi 2005
    An electronic book accessible through the World Wide Web; click to view
    Elektronik Ekitap

    Favorilerime ekle
    Kaydedildi:
  5. 5
    Kapak Resmi

    Memoirs of a proof theorist Gödel and other logicians / Yazar: Takeuti, Gaisi, 1926-

    Baskı/Yayın Bilgisi 2003
    An electronic book accessible through the World Wide Web; click to view
    Elektronik Ekitap

    Favorilerime ekle
    Kaydedildi:
  6. 6
    Kapak Resmi

    Tracking reason proof, consequence, and truth / Yazar: Azzouni, Jody

    Baskı/Yayın Bilgisi 2006
    An electronic book accessible through the World Wide Web; click to view
    Elektronik Ekitap

    Favorilerime ekle
    Kaydedildi:
  7. 7
    Kapak Resmi

    Conditional and preferential logics proof methods and theorem proving / Yazar: Pozzato, Gian Luca

    Baskı/Yayın Bilgisi 2010
    An electronic book accessible through the World Wide Web; click to view
    Elektronik Ekitap

    Favorilerime ekle
    Kaydedildi:
  8. 8
    Kapak Resmi

    Perspectives in logic logical foundations of proof complexity / Yazar: Cook, Stephen, 1948-

    Baskı/Yayın Bilgisi 2010
    An electronic book accessible through the World Wide Web; click to view
    Elektronik Ekitap

    Favorilerime ekle
    Kaydedildi:
  9. 9
    Kapak Resmi

    2-D quadratic maps and 3-D ODE systems a rigorous approach / Yazar: Zeraoulia, Elhadj

    Baskı/Yayın Bilgisi 2010
    An electronic book accessible through the World Wide Web; click to view
    Elektronik Ekitap

    Favorilerime ekle
    Kaydedildi:
  10. 10
    Kapak Resmi

    Charming proofs a journey into elegant mathematics / Yazar: Alsina, Claudi

    Baskı/Yayın Bilgisi 2010
    An electronic book accessible through the World Wide Web; click to view
    Elektronik Ekitap

    Favorilerime ekle
    Kaydedildi:
  11. 11
    Kapak Resmi

    Icons of mathematics an exploration of twenty key images / Yazar: Alsina, Claudi

    Baskı/Yayın Bilgisi 2011
    An electronic book accessible through the World Wide Web; click to view
    Elektronik Ekitap

    Favorilerime ekle
    Kaydedildi:
  12. 12
    Kapak Resmi

    Ways of proof theory Yazar: Schindler, Ralf

    Baskı/Yayın Bilgisi 2010
    An electronic book accessible through the World Wide Web; click to view
    Elektronik Ekitap

    Favorilerime ekle
    Kaydedildi:
  13. 13
    Kapak Resmi

    The elementary theory of groups : a guide through the proofs of the Tarski conjectures / Yazar: Fine, Benjamin, 1948-

    Baskı/Yayın Bilgisi 2014
    An electronic book accessible through the World Wide Web; click to view
    Elektronik Ekitap

    Favorilerime ekle
    Kaydedildi:
  14. 14
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 2016
    An electronic book accessible through the World Wide Web; click to view
    Elektronik Ekitap

    Favorilerime ekle
    Kaydedildi:

Arama Araçları: