Certification of Algorithm 66: INVRS.
Discussion - the pros and cons of a special IR language: comments.
Algorithm 75: Factors.
An information system with the ability to extract intelligence from data.
Algorithm 76: Sorting procedures.
Real-time simulation of mapping radar.
Certification of Algorithm 50: Inverse of a finite segment of the Hilbert matrix.
ACM 61 acknowledgements.
More about the Siemens 2002.
Simulation and analysis of biochemical systems: II. solution of differential equations.
Alorithm 74: Curve fitting with constraints.
Information structures for processing and retrieving.
Language problems posed by heavily structured data.
Theory of mechanical languages.
Real-time, time-shared computer project.
Definition of software.
Discussion: The pros and cons of a special IR language: pro a special IR language.
Letter from the president of ACM.
SIGMAP.
Use of semantic structure in information systems.
Discussion: The pros and cons of a special IR language: comments.
A string language for symbol manipulation based on ALGOL 60.
Certification of Algorithm 30: Numerical solution of the polynomial equation.
Translation of retrieval requests couched in a "semiformal" English-like language.
In defense of artificial intelligence research.
COMIT as an IR language.
A survey of languages and systems for information retrieval.
