Epistemic Logic for AI and Computer Science
J.-J. Ch. (Universiteit Utrecht, The Netherlands) Meyer
Out of stock
Format: Book (Paperback / softback)
Understanding Z : A Specification Language and its Formal Semantics
J. M. (University of Oxford) Spivey
Out of stock
Format: Book (Paperback / softback)
Basic Simple Type Theory
J. Roger (University of Wales, Swansea) Hindley
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 (Paperback / softback)
Higher Order Logic and Hardware Verification
T. F. (University of Glasgow) Melham
Out of stock
Format: Book (Paperback / softback)
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 stock
Format: Book (Paperback / softback)
The Clausal Theory of Types
D. A. (University of Oxford) Wolfram
Out of stock
Format: Book (Paperback / softback)
Logic and Computation : Interactive Proof with Cambridge LCF
Lawrence C. (University of Cambridge) Paulson
Out of stock
Format: Book (Paperback / softback)
Belief Revision
Peter (Lunds Universitet, Sweden) Gardenfors
Out of stock
Format: Book (Paperback / softback)
Updating Logical Databases
Marianne (University of Illinois, Urbana-Champaign) Winslett
Out of stock
Format: Book (Paperback / softback)