استعراض Logic 941 - 960 من 1521 النتائج

  • الكتاب الالكتروني
    • 1st الإصدار
    • Davide Fazio; Antonio Ledda; Francesco Paoli
    • Springer
    • تنسيق قابل للتنسيق التلقائي

    يبدأ من:﷼‎141.23 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings
    • 1st الإصدار
    • Sven Koenig; Robert C. Holte
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎71.27 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    • Solomon Feferman
    • Oxford University Press
    • التنسيق المحدد

    يبدأ من:﷼‎303.80 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    Essays in Philosophy of Mathematics
    • 1st الإصدار
    • Philip A Ebert; Marcus Rossberg
    • OUP Oxford
    • التنسيق المحدد

    يبدأ من:﷼‎273.41 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    for New Technology
    • 1st الإصدار
    • Rowan Garnier; John Taylor
    • CRC Press
    • تنسيق قابل للتنسيق التلقائي

    ﷼‎272.06 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    An Engaging Introduction to Proof
    • John Meier; Derek Smith
    • Cambridge University Press
    • تنسيق قابل للتنسيق التلقائي

    يبدأ من:﷼‎207.31 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    • 2nd الإصدار
    • Evgueni D. Solojentsev
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎128.27 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    An Introduction to Model Theory, Proof Theory, Computability, and Complexity
    • Shawn Hedman
    • OUP Oxford
    • التنسيق المحدد

    يبدأ من:﷼‎295.80 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    • 1st الإصدار
    • Thomas Bedürftig; Roman Murawski
    • De Gruyter
    • التنسيق المحدد

    ﷼‎695.32 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    Introducing Cartesian Granule Features
    • James G. Shanahan
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎206.02 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    • Das Subrata
    • WSPC
    • التنسيق المحدد

    ﷼‎963.15 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings
    • 1st الإصدار
    • Nader Bshouty
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎128.27 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    • 1st الإصدار
    • Dov Gabbay; Rudolf Kruse; Philippe Smets
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎270.80 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
    • 2nd الإصدار
    • Wolfgang Schreiner
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎103.66 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
    • 1st الإصدار
    • Anil Nerode; Sergei N. Artemov
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎71.27 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    • Andrew Wohlgemuth
    • Dover Publications
    • تنسيق قابل للتنسيق التلقائي

    ﷼‎86.17 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    • Igor Lavrov; Larisa Maksimova
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎128.27 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    Focus on Streams, Interfaces, and Refinement
    • Manfred Broy; Ketil Stølen
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎71.27 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    • Ralf Schindler
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎25.91 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    A Constructive Type-theoretical Approach
    • Giuseppe Primiero
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎231.93 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل