C. J. van Rijsbergen – författare
Programs, Recursion and Unbounded Choice
859 kr
Skickas inom 7-10 vardagar
Nets, Terms and Formulas
Three Views of Concurrent Processes and their Relationship
859 kr
Skickas inom 7-10 vardagar
Two-Level Functional Languages
959 kr
Skickas inom 7-10 vardagar
Extensions of First-Order Logic
1 269 kr
Skickas inom 7-10 vardagar
Free Choice Petri Nets
759 kr
Skickas inom 7-10 vardagar
The Logic of Typed Feature Structures
With Applications to Unification Grammars, Logic Programs and Constraint Resolution
859 kr
Skickas inom 7-10 vardagar
Deductive and Declarative Programming
859 kr
Skickas inom 7-10 vardagar
The Uncertain Reasoner's Companion
A Mathematical Perspective
889 kr
Skickas inom 7-10 vardagar
Logic and Computation
Interactive Proof with Cambridge LCF
969 kr
Skickas inom 7-10 vardagar
Formal Methods in Artificial Intelligence
779 kr
Skickas inom 7-10 vardagar
Basic Simple Type Theory
1 859 kr
Skickas inom 7-10 vardagar
Topology via Logic
889 kr
Skickas inom 7-10 vardagar
Information Flow
The Logic of Distributed Systems
1 269 kr
Skickas inom 7-10 vardagar
Metamathematics, Machines and Gödel's Proof
829 kr
Skickas inom 7-10 vardagar
Computational Learning Theory
799 kr
Skickas inom 7-10 vardagar
Formal Semantics and Pragmatics for Natural Language Querying
859 kr
Skickas inom 7-10 vardagar
Algorithmic Information Theory
919 kr
Skickas inom 7-10 vardagar
Predicate Transformer Semantics
1 029 kr
Skickas inom 7-10 vardagar
Action Semantics
1 029 kr
Skickas inom 7-10 vardagar
Updating Logical Databases
709 kr
Skickas inom 7-10 vardagar
The Optimal Implementation of Functional Programming Languages
1 519 kr
Skickas inom 7-10 vardagar
1 449 kr
Skickas inom 7-10 vardagar
729 kr
Skickas inom 10-15 vardagar