استعراض "Logic" (عرض 121 - 140 من 1297 النتائج)

Knowledge Discovery and Data Mining
The Info-Fuzzy Network (IFN) Methodology
باستخدام O. Maimon; M. Last
- شكل: التنسيق ثابت
- من ﷼‎128.10 SAR
  يتضمن السعر ضريبة القيمة المضافة

"Das ist o. B. d. A. trivial!"
Tipps und Tricks zur Formulierung mathematischer Gedanken
باستخدام Albrecht Beutelspacher
- الإصدار: 9th
- شكل: التنسيق ثابت
- من ﷼‎25.87 SAR
  يتضمن السعر ضريبة القيمة المضافة

Handbook of Logic and Language
باستخدام Johan F.A.K. van Benthem
- الإصدار: 2nd
- شكل: التنسيق ;كتب إلكترونية قابلة للتنسيق التلقائي
- ﷼‎927.29 SAR
  يتضمن السعر ضريبة القيمة المضافة

Komplexitätstheorie
Grenzen der Effizienz von Algorithmen
باستخدام Ingo Wegener
- شكل: التنسيق ثابت
- من ﷼‎51.76 SAR
  يتضمن السعر ضريبة القيمة المضافة

A New Perspective on Nonmonotonic Logics
باستخدام Dov M. Gabbay; Karl Schlechta
- شكل: التنسيق ثابت
- من ﷼‎192.79 SAR
  يتضمن السعر ضريبة القيمة المضافة

A Cp-Theory Problem Book
Special Features of Function Spaces
باستخدام Vladimir V. Tkachuk
- شكل: التنسيق ;كتب إلكترونية قابلة للتنسيق التلقائي
- من ﷼‎71.16 SAR
  يتضمن السعر ضريبة القيمة المضافة

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

Perspectives in Computational Complexity
The Somenath Biswas Anniversary Volume
باستخدام Author
- شكل: التنسيق ;كتب إلكترونية قابلة للتنسيق التلقائي
- من ﷼‎141.04 SAR
  يتضمن السعر ضريبة القيمة المضافة

A Course on Mathematical Logic
باستخدام Shashi Mohan Srivastava
- شكل: التنسيق ثابت
- من ﷼‎64.70 SAR
  يتضمن السعر ضريبة القيمة المضافة

Nonstandard Analysis for the Working Mathematician
باستخدام Author
- الإصدار: 2nd
- شكل: التنسيق ثابت
- من ﷼‎153.97 SAR
  يتضمن السعر ضريبة القيمة المضافة

Modelling Nature: An Opinionated Introduction to Scientif...
باستخدام Roman Frigg; James Nguyen
- شكل: التنسيق ;كتب إلكترونية قابلة للتنسيق التلقائي
- من ﷼‎128.10 SAR
  يتضمن السعر ضريبة القيمة المضافة

Developments in Language Theory
10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
باستخدام Oscar H. Ibarra; ‎Zhe Dang
- الإصدار: 1st
- شكل: التنسيق ثابت
- من ﷼‎71.16 SAR
  يتضمن السعر ضريبة القيمة المضافة

Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
باستخدام Holger Hermanns; Werner Damm
- الإصدار: 1st
- شكل: التنسيق ثابت
- من ﷼‎71.16 SAR
  يتضمن السعر ضريبة القيمة المضافة

Automata Implementation
Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers
باستخدام JeanMarc Champarnaud; Denis Maurel; Djelloul Ziadi
- الإصدار: 1st
- شكل: التنسيق ثابت
- من ﷼‎71.16 SAR
  يتضمن السعر ضريبة القيمة المضافة

An Introduction to Fuzzy Logic and Fuzzy Sets
باستخدام James J. Buckley; Esfandiar Eslami
- شكل: التنسيق ثابت
- من ﷼‎90.57 SAR
  يتضمن السعر ضريبة القيمة المضافة

A First Course in Logic
باستخدام Mark Verus Lawson
- الإصدار: 1st
- شكل: التنسيق ;كتب إلكترونية قابلة للتنسيق التلقائي
- ﷼‎357.94 SAR
  يتضمن السعر ضريبة القيمة المضافة

Soft Computing
Integrating Evolutionary, Neural, and Fuzzy Systems
باستخدام Andrea Tettamanzi; Marco Tomassini
- شكل: التنسيق ثابت
- من ﷼‎71.16 SAR
  يتضمن السعر ضريبة القيمة المضافة

Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
باستخدام Andrzej Indrzejczak
- شكل: التنسيق ;كتب إلكترونية قابلة للتنسيق التلقائي
- من ﷼‎71.16 SAR
  يتضمن السعر ضريبة القيمة المضافة

Handbook of Fuzzy Computation
باستخدام Enrique H Ruspini; Piero P Bonissone; Witold Pedrycz
- الإصدار: 1st
- شكل: التنسيق ;كتب إلكترونية قابلة للتنسيق التلقائي
- ﷼‎3,126.92 SAR
  يتضمن السعر ضريبة القيمة المضافة

Logics for Computer Science
Classical and Non-Classical
باستخدام Anita Wasilewska
- شكل: التنسيق ;كتب إلكترونية قابلة للتنسيق التلقائي
- من ﷼‎153.97 SAR
  يتضمن السعر ضريبة القيمة المضافة