Livros de 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

C.J. van Rijsbergen

Basic Proof Theory

Anne S. Troelstra

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

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