1. A nucleus of a theorem-prover described inAlgol-68

   • Jacques Cohen
   • Laurent Trilling
   • Peter Wegner

   OriginalPaper Pages: 1 - 31

2. A simulation tool for performance evaluation of the IBM 360/75

   • Edward K. Bowdon Sr.
   • Sandra A. Mamrak
   • Fred R. Salz

   OriginalPaper Pages: 33 - 57

3. Heuristically aided set-covering algorithms

   • James P. Ignizio
   • R. M. Harnett

   OriginalPaper Pages: 59 - 70

4. Computer diagnosis of goiters. IV. Optimal planning of physical observations

   • A. Bouckaert

   OriginalPaper Pages: 71 - 89

5. A model for optimizing indexed file structures

   • Ben Shneiderman

   OriginalPaper Pages: 91 - 101