Formal Methods in Artificial Intelligence
Allan M. (University College Dublin) Ramsay
Out of stock
Format: Book (Paperback / softback)
Hybrid Graph Theory and Network Analysis
Ladislav (University of Novi Sad, Yugoslavia) Novak
Out of stock
Format: Book (Hardback)
Belief Revision
Peter (Lunds Universitet, Sweden) Gardenfors
Out of stock
Format: Book (Paperback / softback)
Theoretical Foundations of VLSI Design
K. (University of Leeds) McEvoy
Out of stock
Format: Book (Paperback / softback)
Information Flow : The Logic of Distributed Systems
Jon (Indiana University) Barwise
Out of stock
Format: Book (Hardback)
Metamathematics, Machines and Goedel's Proof
N. (SRI International, USA) Shankar
Out of stock
Format: Book (Paperback / softback)
Formal Semantics and Pragmatics for Natural Language Querying
James Clifford
Out of stock
Format: Book (Paperback / softback)
Predicate Transformer Semantics
Ernest. G. (University of Massachusetts, Amherst) Manes
Out of stock
Format: Book (Paperback / softback)
Action Semantics
Peter D. (Aarhus Universitet, Denmark) Mosses
Out of stock
Format: Book (Paperback / softback)
Updating Logical Databases
Marianne (University of Illinois, Urbana-Champaign) Winslett
Out of stock
Format: Book (Paperback / softback)
The Optimal Implementation of Functional Programming Languages
Andrea (Universita degli Studi, Bologna, Italy) Asperti
Out of stock
Format: Book (Hardback)
Domains and Lambda-Calculi
Roberto M. (Universite de Provence) Amadio
Out of stock
Format: Book (Hardback)
Derivation and Computation : Taking the Curry-Howard Correspondence Seriously
H. (University of Manchester) Simmons
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Process Algebra: Equational Theories of Communicating Processes
J. C. M. (Technische Universiteit Eindhoven, The Netherlands) Baeten
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£82.99
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketRippling: Meta-Level Guidance for Mathematical Reasoning
Alan (University of Edinburgh) Bundy
Out of stock
Format: Book (Hardback)
Advanced Topics in Bisimulation and Coinduction
Davide Sangiorgi
Item not Available
Format: Book (Hardback)
£72.99
£64.45
Item not Available
Book (Hardback)
Nominal Sets : Names and Symmetry in Computer Science
Andrew M. (University of Cambridge) Pitts
Out of stock
Format: Book (Hardback)
Initial Algebras and Terminal Coalgebras : The Theory of Fixed Points of Functors
Jiri (Czech Technical University in Prague) Adamek
Pre-Order
Format: Book (Hardback)
£50.00
£43.85
Item not Available
Book (Hardback)
£80.00
£70.45
Item not Available
Book (Hardback)