Free Choice Petri Nets
Jorg (Humboldt-Universitat zu Berlin) Desel
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£38.99
£34.39
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Epistemic Logic for AI and Computer Science
J.-J. Ch. (Universiteit Utrecht, The Netherlands) Meyer
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£32.99
£29.78
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Extensions of First-Order Logic
Maria (Universitat de Barcelona) Manzano
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£36.99
£32.85
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Understanding Z : A Specification Language and its Formal Semantics
J. M. (University of Oxford) Spivey
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£34.99
£31.32
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Basic Simple Type Theory
J. Roger (University of Wales, Swansea) Hindley
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£36.99
£32.06
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Domains and Lambda-Calculi
Roberto M. (Universite de Provence) Amadio
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£38.99
£34.39
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Data Refinement : Model-Oriented Proof Methods and their Comparison
Willem-Paul (Christian-Albrechts Universitat zu Kiel, Germa de Roever
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£36.99
£32.85
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Hybrid Graph Theory and Network Analysis
Ladislav (University of Novi Sad, Yugoslavia) Novak
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£27.99
£25.16
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Higher Order Logic and Hardware Verification
T. F. (University of Glasgow) Melham
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£25.99
£23.63
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
A Unifying Framework for Structured Analysis and Design Models : An Approach Using Initial Algebra Semantics and Category Theory
T. H. (The University of Hong Kong) Tse
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£29.99
£27.48
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
The Clausal Theory of Types
D. A. (University of Oxford) Wolfram
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£20.99
£20.11
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Nonmonotonic Reasoning : Logical Foundations of Commonsense
Gerhard Brewka
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£38.99
£34.39
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Logic and Computation : Interactive Proof with Cambridge LCF
Lawrence C. (University of Cambridge) Paulson
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£29.99
£27.48
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Formal Methods in Artificial Intelligence
Allan M. (University College Dublin) Ramsay
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£38.99
£34.39
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Belief Revision
Peter (Lunds Universitet, Sweden) Gardenfors
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£27.99
£25.95
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Theoretical Foundations of VLSI Design
K. (University of Leeds) McEvoy
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£36.99
£32.85
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Updating Logical Databases
Marianne (University of Illinois, Urbana-Champaign) Winslett
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£36.99
£32.85
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket