Samson Abramsky - Böcker
7 329 kr
Skickas inom 5-8 vardagar
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
8 059 kr
Skickas inom 5-8 vardagar
Nets, Terms and Formulas
Three Views of Concurrent Processes and their Relationship
799 kr
Skickas inom 7-10 vardagar
Extensions of First-Order Logic
1 189 kr
Skickas inom 7-10 vardagar
The Logic of Typed Feature Structures
With Applications to Unification Grammars, Logic Programs and Constraint Resolution
799 kr
Skickas inom 7-10 vardagar
The Uncertain Reasoner's Companion
A Mathematical Perspective
839 kr
Skickas inom 7-10 vardagar
Logic and Computation
Interactive Proof with Cambridge LCF
899 kr
Skickas inom 7-10 vardagar
Formal Methods in Artificial Intelligence
729 kr
Skickas inom 7-10 vardagar
829 kr
Skickas inom 7-10 vardagar
Algorithmic Information Theory
829 kr
Skickas inom 7-10 vardagar
Updating Logical Databases
659 kr
Skickas inom 7-10 vardagar
The Optimal Implementation of Functional Programming Languages
1 419 kr
Skickas inom 7-10 vardagar
699 kr
Skickas inom 10-15 vardagar
699 kr
Skickas inom 10-15 vardagar
Category Theory and Computer Programming
Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings
719 kr
Skickas inom 10-15 vardagar
Typed Lambda Calculi and Applications
5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
699 kr
Skickas inom 10-15 vardagar
Category Theory and Computer Science
Paris, France, September 3-6, 1991. Proceedings
699 kr
Skickas inom 10-15 vardagar
Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
1 429 kr
Skickas inom 10-15 vardagar
Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
1 429 kr
Skickas inom 10-15 vardagar