C.J. van Rijsbergen의 책들 - BookPine

Information Retrieval: Uncertainty and Logics

Information Retrieval: Uncertainty and Logics

C.J. van Rijsbergen

Quantum Interaction: Third International Symposium (QI 2009, Saarbrücken, Germany, March 25-27, 2009, Proceedings)

Quantum Interaction: Third International Symposium (QI 2009, Saarbrücken, Germany, March 25-27, 2009, Proceedings)

Peter Bruza

The Geometry of Information Retrieval

The Geometry of Information Retrieval

C.J. van Rijsbergen

Basic Proof Theory

Basic Proof Theory

Anne S. Troelstra

Formal Methods in Digital Design

Formal Methods in Digital Design

J. Herbert

BCS-FACS Northern Formal Methods Workshop

BCS-FACS Northern Formal Methods Workshop

C.J. van Rijsbergen

Metamathematics, Machines and Gödel's Proof

Metamathematics, Machines and Gödel's Proof

N. Shankar

Persistent Object Systems: Proceedings of the Third International Workshop, 10-13 January 1989, Newcastle, Australia

Persistent Object Systems: Proceedings of the Third International Workshop, 10-13 January 1989, Newcastle, Australia

D. Koch

Computing Science in the University of Glasgow

Computing Science in the University of Glasgow

C.J. van Rijsbergen

Information Retrieval

Information Retrieval

C.J. van Rijsbergen

Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991

Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991

C.J. van Rijsbergen