Saxo Access
Indkøbskurv

PBC

Vis søgefilter

Vis mig kun

Fuzzy-Logik

Fuzzy-Logik

Bohme, Gert

265,81 DKK

Logic and Games on Automatic Structures

Logic and Games on Automatic Structures

Kaiser, Lukasz

436,85 DKK

Einführung in die operative Logik und Mathematik

Einführung in die operative Logik und Mathematik

Lorenzen, Paul

403,64 DKK

ZB 2002: Formal Specification and Development in Z and B

ZB 2002: Formal Specification and Development in Z and B

Robinson, Ken

436,85 DKK

Computer Science Logic

Computer Science Logic

Schwichtenberg, Helmut

875,33 DKK

Mathematik für die ersten Semester

Mathematik für die ersten Semester

Muckenheim, Wolfgang

209,76 DKK

Set Theory and its Applications

Set Theory and its Applications

Watson, Stephen

403,64 DKK

Set Theory and Model Theory

Set Theory and Model Theory

Prestel, A.

223,05 DKK

Logic, Rationality, and Interaction

Logic, Rationality, and Interaction

Yamada, Tomoyuki

436,85 DKK

Sparsity

Sparsity

Mendez, Patrice Ossona de

692,63 DKK

Einführung in die klassische und intensionale Logik

Einführung in die klassische und intensionale Logik

Friedrichsdorf, Ulf

265,81 DKK

Logics for Computer Science

Logics for Computer Science

Wasilewska, Anita

1021,49 DKK

Proof Theory in Computer Science

Proof Theory in Computer Science

Stark, Robert

436,85 DKK

Parameterized Complexity in the Polynomial Hierarchy

Parameterized Complexity in the Polynomial Hierarchy

Haan, Ronald de

656,09 DKK

Mathematical Foundations of Computer Science 1999

Mathematical Foundations of Computer Science 1999

Wierzbicki, Tomasz

436,85 DKK

Automata Implementation

Automata Implementation

Ziadi, Djelloul

436,85 DKK

Logical Foundations of Computer Science

Logical Foundations of Computer Science

Nerode, Anil

436,85 DKK

Decidable Theories

Decidable Theories

Siefkes, Dirk

223,05 DKK

Scientific Philosophy

Scientific Philosophy

Romero, Gustavo E.

619,55 DKK

DNA Computing

DNA Computing

Rozenberg, Grzegorz

436,85 DKK

Ernst Zermelo - Collected Works/Gesammelte Werke II

Ernst Zermelo - Collected Works/Gesammelte Werke II

Zermelo, Ernst

2190,77 DKK

Nonstandard Analysis, Axiomatically

Nonstandard Analysis, Axiomatically

Reeken, Michael

875,33 DKK

Vom Universum des Denkens

Vom Universum des Denkens

Tschirk, Wolfgang

135,33 DKK

Lectures on Formally Real Fields

Lectures on Formally Real Fields

Prestel, A.

223,05 DKK

Algorithms in Invariant Theory

Algorithms in Invariant Theory

Sturmfels, Bernd

260,50 DKK

New Directions in Rough Sets, Data Mining, and Granular-Soft Computing

New Directions in Rough Sets, Data Mining, and Granular-Soft Computing

Ohsuga, Setsuo

875,33 DKK

Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström

Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström

Stegmuller, Wolfgang

115,53 DKK

Theoretische Informatik

Theoretische Informatik

Wagner, Klaus W.

161,96 DKK

Teoria algebrica dei meccanismi automatici

Teoria algebrica dei meccanismi automatici

Righi, R.

302,96 DKK

Introduction to Mathematical Logic

Introduction to Mathematical Logic

Hermes, Hans

436,85 DKK