Artificial intelligence: A contribution to systems theories of sociology Achille Ardigo OriginalPaper Pages: 113 - 120
Human-oriented and machine-oriented reasoning: Remarks on some problems in the history of Automated Theorem Proving Furio Di Paola OriginalPaper Pages: 121 - 131
Machine intelligence and the long-term future of the human species Tom Stonier OriginalPaper Pages: 133 - 139
The Strategic Computing Program at four years: Implications and intimations Chris Hables Gray OriginalPaper Pages: 141 - 149
