• التعليم وحلول الأعمال يفتح في نافذة جديدة

استعراض "Logic" (عرض 101 - 120 من 1296 النتائج)

موضوعات

  • Problems and Proofs in Numbers and Algebra

    باستخدام Richard S. Millman; Peter J. Shiue; Eric Brendan Kahn
    • شكل: التنسيق ;كتب إلكترونية قابلة للتنسيق التلقائي
    • من ﷼‎77.64 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • The Parametric Lambda Calculus

    A Metamodel for Computation
    باستخدام Simona Ronchi Della Rocca; Luca Paolini
    • شكل: التنسيق ثابت
    • من ﷼‎71.16 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Intuitionistic Fuzzy Logics

    باستخدام Krassimir T. Atanassov
    • شكل: التنسيق ;كتب إلكترونية قابلة للتنسيق التلقائي
    • من ﷼‎128.10 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Deontic Logic in Computer Science

    7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
    باستخدام Alessio Lomuscio; ‎Donald Nute
    • الإصدار: 1st
    • شكل: التنسيق ثابت
    • من ﷼‎71.16 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Ernst Zermelo - Collected Works/Gesammelte Werke II

    Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
    باستخدام Ernst Zermelo
    • شكل: التنسيق ثابت
    • من ﷼‎270.42 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Ideals, Varieties, and Algorithms

    An Introduction to Computational Algebraic Geometry and Commutative Algebra
    باستخدام David A. Cox; John Little; Donal O'Shea
    • الإصدار: 4th
    • شكل: التنسيق ;كتب إلكترونية قابلة للتنسيق التلقائي
    • من ﷼‎64.70 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Introduction to Relation Algebras

    Relation Algebras, Volume 1
    باستخدام Steven Givant
    • شكل: التنسيق ثابت
    • من ﷼‎84.10 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • An Introduction to the Technique of Formative Processes i...

    باستخدام Domenico Cantone; Pietro Ursino
    • شكل: التنسيق ثابت
    • من ﷼‎71.16 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Joachim Lambek: The Interplay of Mathematics, Logic, and ...

    • شكل: التنسيق ثابت
    • من ﷼‎153.97 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Basic Real Analysis

    باستخدام Houshang H. Sohrab
    • شكل: التنسيق ثابت
    • من ﷼‎71.16 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Nonstandard Analysis for the Working Mathematician

    باستخدام Author
    • الإصدار: 2nd
    • شكل: التنسيق ثابت
    • من ﷼‎153.97 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Typed Lambda Calculi and Applications

    9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
    باستخدام PierreLouis Curien
    • الإصدار: 1st
    • شكل: التنسيق ثابت
    • من ﷼‎71.16 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Formal Concept Analysis

    7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
    باستخدام Sébastien Ferré; ‎Sebastian Rudolph
    • الإصدار: 1st
    • شكل: التنسيق ثابت
    • من ﷼‎71.16 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Computer Science Logic

    23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
    باستخدام Erich Grädel; ‎Reinhard Kahle
    • الإصدار: 1st
    • شكل: التنسيق ثابت
    • من ﷼‎128.10 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Arnon Avron on Semantics and Proof Theory of Non-Classica...

    • شكل: التنسيق ;كتب إلكترونية قابلة للتنسيق التلقائي
    • من ﷼‎166.91 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Handbook of Metric Fixed Point Theory

    باستخدام Brailey Sims; William Kirk
    • الإصدار: 1st
    • شكل: التنسيق ثابت
    • من ﷼‎205.74 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Trends in Continuum Mechanics of Porous Media

    باستخدام Reint de Boer
    • شكل: التنسيق ثابت
    • من ﷼‎128.10 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Fuzzy Algorithms for Control

    باستخدام Robert Babuška; H. B. Verbruggen; H.J Zimmermann
    • الإصدار: 1st
    • شكل: التنسيق ثابت
    • من ﷼‎128.10 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Automated Deduction - CADE-17

    17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
    باستخدام David McAllester
    • الإصدار: 1st
    • شكل: التنسيق ثابت
    • من ﷼‎71.16 SAR
      يتضمن السعر ضريبة القيمة المضافة

  • Concept Lattices and Their Applications

    Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
    باستخدام Sadok Ben Yahia; Engelbert Mephu Nguifo; Radim Belohlavek
    • الإصدار: 1st
    • شكل: التنسيق ثابت
    • من ﷼‎71.16 SAR
      يتضمن السعر ضريبة القيمة المضافة
عرض 101 - 120 من 1296 النتائج
Page links