يعرض 1 - 4 نتائج من 4 نتيجة بحث عن '"AT gallierjeanh logicforcomputersciencefoundationsofautomatictheoremproving"', وقت الاستعلام: 0.03s تنقيح النتائج
  1. 1
    Logic For Computer Science: Foundations Of Automatic Theorem Proving
    بواسطة Gallier, Jean H
    منشور في 1987
    Printed Book
  2. 2
    Logic for computer science : Foundations of Automatic Theorem proving/
    بواسطة Gallier, Jean H.
    منشور في 1987
    Printed Book
  3. 3
    Logic for computer science : foundations of automatic theorem proving /
    بواسطة Gallier, Jean H.
    منشور في 1986
    Printed Book
  4. 4
    Logic for computer science : foundations of automatic theorem proving /
    بواسطة Gallier, Jean H.
    منشور في 2015
    Printed Book
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني