استعراض "Logic" (عرض 21 - 40 من 1294 النتائج)

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

Provability, Computability and Reflection
باستخدام Beklemishev, Lev D.
- شكل: التنسيق ثابت
- ﷼‎1,121.43 SAR
  يتضمن السعر ضريبة القيمة المضافة

Provability, Computability and Reflection
باستخدام Beklemishev, Lev D.
- شكل: التنسيق ثابت
- ﷼‎1,121.43 SAR
  يتضمن السعر ضريبة القيمة المضافة

Algorithms and Complexity
باستخدام Bozzano G Luisa
- شكل: التنسيق ثابت
- ﷼‎314.65 SAR
  يتضمن السعر ضريبة القيمة المضافة

The P=NP Question and Gödel’s Lost Letter
باستخدام Richard J. Lipton
- شكل: التنسيق ثابت
- من ﷼‎128.10 SAR
  يتضمن السعر ضريبة القيمة المضافة

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

Model Theory and Applications
Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975
باستخدام P. Mangani
- الإصدار: 1st
- شكل: التنسيق ثابت
- من ﷼‎38.82 SAR
  يتضمن السعر ضريبة القيمة المضافة

A Geometry of Approximation
Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
باستخدام Piero Pagliani; Mihir Chakraborty
- شكل: التنسيق ثابت
- من ﷼‎412.77 SAR
  يتضمن السعر ضريبة القيمة المضافة

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

Two Applications of Logic to Mathematics
باستخدام Gaisi Takeuti
- شكل: التنسيق ثابت
- ﷼‎150.96 SAR
  يتضمن السعر ضريبة القيمة المضافة

An den Grenzen des Endlichen
Das Hilbertprogramm im Kontext von Formalismus und Finitismus
باستخدام Christian Tapp
- شكل: التنسيق ;كتب إلكترونية قابلة للتنسيق التلقائي
- من ﷼‎71.17 SAR
  يتضمن السعر ضريبة القيمة المضافة

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

Sparsity
Graphs, Structures, and Algorithms
باستخدام Jaroslav Nešetřil; Patrice Ossona de Mendez
- شكل: التنسيق ثابت
- من ﷼‎115.16 SAR
  يتضمن السعر ضريبة القيمة المضافة

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

Laws and Explanations; Theories and Modal Possibilities
باستخدام Arnold Koslow
- شكل: التنسيق ;كتب إلكترونية قابلة للتنسيق التلقائي
- من ﷼‎84.11 SAR
  يتضمن السعر ضريبة القيمة المضافة

Topological and Algebraic Structures in Fuzzy Sets
A Handbook of Recent Developments in the Mathematics of Fuzzy Sets
باستخدام S.E. Rodabaugh; ‎Erich Peter Klement
- الإصدار: 1st
- شكل: التنسيق ثابت
- من ﷼‎205.74 SAR
  يتضمن السعر ضريبة القيمة المضافة

Noneist Explorations II
The Sylvan Jungle - Volume 3
باستخدام Richard Routley; Val Routley
- شكل: التنسيق ثابت
- من ﷼‎166.92 SAR
  يتضمن السعر ضريبة القيمة المضافة

FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
باستخدام Jayadev Misra; ‎Tobias Nipkow; ‎Emil Sekerinski
- الإصدار: 1st
- شكل: التنسيق ثابت
- من ﷼‎128.10 SAR
  يتضمن السعر ضريبة القيمة المضافة

Logic for Concurrency and Synchronisation
باستخدام Ruy J. De Queiroz
- الإصدار: 1st
- شكل: التنسيق ثابت
- من ﷼‎128.10 SAR
  يتضمن السعر ضريبة القيمة المضافة

Logic Programming
22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
باستخدام Sandro Etalle; ‎Miroslav Truszczynski
- الإصدار: 1st
- شكل: التنسيق ثابت
- من ﷼‎71.17 SAR
  يتضمن السعر ضريبة القيمة المضافة