Saxo Access
Indkøbskurv

PBC

Vis søgefilter

Vis mig kun

Cambridge Summer School in Mathematical Logic

Cambridge Summer School in Mathematical Logic

Rogers, H.

436,85 DKK

Computer Science Logic

Computer Science Logic

Fribourg, Laurent

875,33 DKK

Techniques of Admissible Recursion Theory

Techniques of Admissible Recursion Theory

Chong, C. T.

436,85 DKK

Function Algebras on Finite Sets

Function Algebras on Finite Sets

Lau, Dietlinde

875,33 DKK

First Order Categorical Logic

First Order Categorical Logic

Reyes, G.E.

403,64 DKK

Applications and Theory of Petri Nets 2004

Applications and Theory of Petri Nets 2004

Reisig, Wolfgang

875,33 DKK

Computer Science Logic

Computer Science Logic

Rodriguez-Artalejo, Mario

436,85 DKK

Proof Theory

Proof Theory

Pohlers, Wolfram

583,01 DKK

Logic, Rationality, and Interaction

Logic, Rationality, and Interaction

Ju, Shier

436,85 DKK

Frontiers of Combining Systems

Frontiers of Combining Systems

Ringeissen, Christophe

436,85 DKK

ISILC - Proof Theory Symposion

ISILC - Proof Theory Symposion

Muller, G.H.

260,50 DKK

Automated Reasoning

Automated Reasoning

Nipkow, Tobias

875,33 DKK

Aspects of Mathematical Logic

Aspects of Mathematical Logic

Casari, E.

302,96 DKK

Theory and Applications of Satisfiability Testing - SAT 2009

Theory and Applications of Satisfiability Testing - SAT 2009

Kullmann, Oliver

436,85 DKK

Application and Theory of Petri Nets 1999

Application and Theory of Petri Nets 1999

Kleijn, Jetty

436,85 DKK

Membrane Computing

Membrane Computing

Salomaa, Arto

436,85 DKK

DNA Computing

DNA Computing

Ohuchi, Azuma

436,85 DKK

Constructive Mathematics

Constructive Mathematics

Richman, F.

337,32 DKK

Fuzziness and Approximate Reasoning

Fuzziness and Approximate Reasoning

Dompere, Kofi Kissi

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

Nature of Computation: Logic, Algorithms, Applications

Nature of Computation: Logic, Algorithms, Applications

Lowe, Benedikt

436,85 DKK

Model Theory and Applications

Model Theory and Applications

Mangani, P.

146,74 DKK

Rewriting Techniques and Applications

Rewriting Techniques and Applications

Nipkow, Tobias

436,85 DKK

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Richter, M. M.

322,59 DKK

Methods in Mathematical Logic

Methods in Mathematical Logic

Prisco, Carlos A. Di

436,85 DKK

Model Theory in Algebra, Analysis and Arithmetic

Model Theory in Algebra, Analysis and Arithmetic

Wilkie, Alex J.

473,39 DKK

Type-2 Fuzzy Logic: Theory and Applications

Type-2 Fuzzy Logic: Theory and Applications

Melin, Patricia

875,33 DKK

Injective Choice Functions

Injective Choice Functions

Steffens, Karsten

223,05 DKK

Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

Tarlecki, Andrzej

656,09 DKK

Mathematics of Discrete Structures for Computer Science

Mathematics of Discrete Structures for Computer Science

Pace, Gordon J.

436,85 DKK