1. MRPPS—An interactive refutation proof procedure system for question-answering

   • Jack Minker
   • James R. McSkimin
   • Daniel H. Fishman

   OriginalPaper Pages: 105 - 122

2. A full table quadratic search method eliminating secondary clustering

   • Seiichi Nishihara
   • Hiroshi Hagiwara

   OriginalPaper Pages: 123 - 128

3. Application of fuzzy logic to the detection of static hazards in combinational switching systems

   • Abraham Kandel

   OriginalPaper Pages: 129 - 139

4. One-way acceptors and languages

   • Eugene S. Santos

   OriginalPaper Pages: 141 - 151

5. On an information processing model applied to optical illusions and computer simulations

   • C. A. Mateescu
   • I. O. Stamatescu

   OriginalPaper Pages: 153 - 166

6. The choice of partial inversions and combined indices

   • Michael Stonebraker

   OriginalPaper Pages: 167 - 188