0 Mėgstami
0Krepšelis

Kategorija „Mathematical foundations“

Rasta: 2663
  1. 1
  2. 2
  3. 3
  4. ...
Science for Humans: Mind, Life, The Formal-&-Natural Sciences, and A New Concept of Nature
  • Nemokamas pristatymas
-20% su kodu: BOOKS
176,16 
220,20 
Išsiųsime per 11-15 d. d.
Analysis of the Navier-Stokes Problem: Solution of a Millennium Problem
  • Nemokamas pristatymas
-20% su kodu: BOOKS
36,94 
46,18 
Išsiųsime per 11-15 d. d.
Math Mammoth Grade 3 Skills Review Workbook Answer Key
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
23,13 
28,91 
Išsiųsime per 11-15 d. d.
Math Mammoth Grade 3 Skills Review Workbook
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
37,96 
47,45 
Išsiųsime per 11-15 d. d.
Logic
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
17,88 
22,35 
Išsiųsime per 11-15 d. d.
Algebraic Complexity Theory
  • Nemokamas pristatymas
-20% su kodu: BOOKS
189,71 
237,14 
Išsiųsime per 11-15 d. d.
A General Algebraic Semantics for Sentential Logics
  • Nemokamas pristatymas
-20% su kodu: BOOKS
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Descriptive Set Theory and Forcing: How to prove theorems about Borel sets the hard way
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Fuzzy Logic, Neural Networks, and Evolutionary Computation: IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14 - 15, 1995, Selected Papers
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
The Core Model Iterability Problem
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Application and Theory of Petri Nets 1996: 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
135,50 
169,38 
Išsiųsime per 11-15 d. d.
Automated Deduction in Equational Logic and Cubic Curves
  • Nemokamas pristatymas
-20% su kodu: BOOKS
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Modeling Nature: Cellular Automata Simulations with Mathematica®
  • Nemokamas pristatymas
-20% su kodu: BOOKS
114,82 
143,53 
Išsiųsime per 11-15 d. d.
Quantifier Elimination and Cylindrical Algebraic Decomposition
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory
  • Nemokamas pristatymas
-20% su kodu: BOOKS
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Nonstandard Analysis in Practice
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
65,98 
82,48 
Išsiųsime per 11-15 d. d.
Types for Proofs and Programs: International Workshop TYPES 94, Bastad, Sweden, June 6-10, 1994. Selected Papers
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
An Accompaniment to Higher Mathematics
  • Nemokamas pristatymas
-20% su kodu: BOOKS
59,33 
74,16 
Išsiųsime per 11-15 d. d.
Acting and Reflecting: The Interdisciplinary Turn in Philosophy
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga kietu viršeliu
(0)
135,50 
169,38 
Išsiųsime per 11-15 d. d.
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
  • Nemokamas pristatymas
-20% su kodu: BOOKS
203,26 
254,08 
Išsiųsime per 11-15 d. d.
Discrete Thoughts: Essays on Mathematics, Science and Philosophy
  • Nemokamas pristatymas
-20% su kodu: BOOKS
121,95 
152,44 
Išsiųsime per 11-15 d. d.
Nonmonotonic Logic: Context-Dependent Reasoning
  • Nemokamas pristatymas
-20% su kodu: BOOKS
203,26 
254,08 
Išsiųsime per 11-15 d. d.
Resolution Methods for the Decision Problem
  • Nemokamas pristatymas
-20% su kodu: BOOKS
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Logic for Applications
  • Nemokamas pristatymas
-20% su kodu: BOOKS
184,78 
230,98 
Išsiųsime per 11-15 d. d.
Mechanical Theorem Proving in Geometries: Basic Principles
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Automated Theorem Proving
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
135,50 
169,38 
Išsiųsime per 11-15 d. d.
Proof Theory and Intuitionistic Systems
  • Nemokamas pristatymas
-20% su kodu: BOOKS
54,14 
67,67 
Išsiųsime per 11-15 d. d.
ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
47,36 
59,20 
Išsiųsime per 11-15 d. d.
ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
  • Nemokamas pristatymas
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,69 
84,61 
Išsiųsime per 11-15 d. d.
Rasta: 2663
  1. 1
  2. 2
  3. 3
  4. ...