C. J. van Rijsbergen — об авторе

Theoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science) C. J. van Rijsbergen

Formal Semantics and Pragmatics for Natural Language Querying (Cambridge Tracts in Theoretical Computer Science) C. J. van Rijsbergen

Topology via Logic (Cambridge Tracts in Theoretical Computer Science) C. J. van Rijsbergen

Metamathematics, Machines and Godel's Proof (Cambridge Tracts in Theoretical Computer Science) C. J. van Rijsbergen

Nonmonotonic Reasoning : From Theoretical Foundation to Efficient Computation (Cambridge Tracts in Theoretical Computer Science) C. J. van Rijsbergen

Derivation and Computation : Taking the Curry-Howard correspondence seriously (Cambridge Tracts in Theoretical Computer Science) C. J. van Rijsbergen

Logic and Computation : Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) C. J. van Rijsbergen

Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science) C. J. van Rijsbergen

The Geometry of Information Retrieval C. J. van Rijsbergen