Saxo Access
Indkøbskurv

PBC

Vis søgefilter

Vis mig kun

Cardinal Invariants on Boolean Algebras

Cardinal Invariants on Boolean Algebras

Monk, J. Donald

436,85 DKK

Turing Computability

Turing Computability

Soare, Robert I.

473,39 DKK

Logics in Artificial Intelligence

Logics in Artificial Intelligence

Furbach, Ulrich

436,85 DKK

Relational and Algebraic Methods in Computer Science

Relational and Algebraic Methods in Computer Science

Winter, Michael

619,55 DKK

Fractals and Hyperspaces

Fractals and Hyperspaces

Wicks, Keith R.

173,39 DKK

Theoremus

Theoremus

Cruz, Lito Perez

948,41 DKK

Application and Theory of Petri Nets 2002

Application and Theory of Petri Nets 2002

Lakos, Charles

436,85 DKK

DNA Computing

DNA Computing

Reif, John

436,85 DKK

Reactive Kripke Semantics

Reactive Kripke Semantics

Gabbay, Dov M.

875,33 DKK

Recursion Theory Week

Recursion Theory Week

Sacks, Gerald E.

436,85 DKK

Proceedings of the Summer School in Logik, Leeds, 1967

Proceedings of the Summer School in Logik, Leeds, 1967

Lob, Martin H.

337,32 DKK

Ernst Zermelo - Collected Works/Gesammelte Werke

Ernst Zermelo - Collected Works/Gesammelte Werke

Zermelo, Ernst

1240,73 DKK

Formal Languages and Applications

Formal Languages and Applications

Paun, Gheorghe

2190,77 DKK

Computability and Complexity in Analysis

Computability and Complexity in Analysis

Hertling, Peter

436,85 DKK

Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing

Mitchell, David G.

436,85 DKK

Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning

Stephan, Werner

875,33 DKK

Ewa Orlowska on Relational Methods in Logic and Computer Science

Ewa Orlowska on Relational Methods in Logic and Computer Science

Zawidzki, Michal

1167,65 DKK

Infinitary Logic

Infinitary Logic

Kueker, D. W.

403,64 DKK

Cabal Seminar 77 - 79

Cabal Seminar 77 - 79

Moschovakis, Y. N.

436,85 DKK

Topological Model Theory

Topological Model Theory

Ziegler, Martin

223,05 DKK

Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Ong, Luke

436,85 DKK

New Developments in Formal Languages and Applications

New Developments in Formal Languages and Applications

Martin-Vide, Carlos

1240,73 DKK

Recursion Theory Week

Recursion Theory Week

Sacks, Gerald E.

260,50 DKK

Logic Programming

Logic Programming

Stuckey, Peter J.

436,85 DKK

Fuzzy Sets and Systems - IFSA 2003

Fuzzy Sets and Systems - IFSA 2003

Kaynak, Okays

875,33 DKK

Theory Reasoning in Connection Calculi

Theory Reasoning in Connection Calculi

Baumgartner, Peter

436,85 DKK

Logical Foundations of Computer Science

Logical Foundations of Computer Science

Nerode, Anil

436,85 DKK

Logic System of Concept Graphs with Negation

Logic System of Concept Graphs with Negation

Dau, Frithjof

436,85 DKK

Cylindric Set Algebras

Cylindric Set Algebras

Nemeti, I.

337,32 DKK

Grenzen der Mathematik

Grenzen der Mathematik

Hoffmann, Dirk W.

192,41 DKK