James Larson

1947

• Inductive inference in the variable valued predicate logic system VL 21
• AQVAL/1 (AQ7) user's guide and program description
• INDUCE-1
• INDUCE-1, an interactive inductive inference program in VL₂₁ logic system
• The DCS information storage and retrieval system for graduate applicants and students
• The DCS information storage and retrieval system for graduate applicants and students