نتائج البحث - "Automatic theorem proving."

  • يعرض 1 - 4 نتائج من 4
تنقيح النتائج
  1. 1
    صورة الغلاف

    Conditional and preferential logics proof methods and theorem proving / حسب Pozzato, Gian Luca

    منشور في 2010
    الموضوعات: "…Automatic theorem proving.…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني كتاب الكتروني

    أضف إلى المفضلة
    محفوظ في:
  2. 2
    صورة الغلاف

    The little prover / حسب Friedman, Daniel P., Eastlund, Carl

    منشور في 2015
    الموضوعات: "…Automatic theorem proving.…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني كتاب الكتروني

    أضف إلى المفضلة
    محفوظ في:
  3. 3
    صورة الغلاف

    Recent progress in the Boolean domain /

    منشور في 2014
    الموضوعات: "…Automatic theorem proving Congresses.…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني كتاب الكتروني

    أضف إلى المفضلة
    محفوظ في:
  4. 4
    صورة الغلاف

    Proof technology and computation

    منشور في 2006
    الموضوعات: "…Automatic theorem proving Congresses.…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني وقائع المؤتمر كتاب الكتروني

    أضف إلى المفضلة
    محفوظ في:

أدوات البحث: