Arama Sonuçları

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

    Proof technology and computation

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

    Favorilerime ekle
    Kaydedildi:
  2. 2
    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:
  3. 3
    Kapak Resmi

    Recent progress in the Boolean domain /

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

    Favorilerime ekle
    Kaydedildi:
  4. 4
    Kapak Resmi

    The little prover / Yazar: Friedman, Daniel P., Eastlund, Carl

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

    Favorilerime ekle
    Kaydedildi:

Arama Araçları: