4551. Add MS 88958/3/108
- Reference (shelfmark):
- Add MS 88958/3/108
- Title:
- Articles, papers, and reports by others
- Scope & Content:
- Contains: 'Application of theorem proving to problem solving' 'History of the Edinburgh Robot Project' 'Experiments with g-deduction: a preliminary report' 'The British computer scene revisited' 'Mathematics strands' 'Towards a machine-oriented language for descriptions' 'Some binary derivation ...
- Collection Area:
- Western Manuscripts
- Languages:
- English and Italian
- Date Range:
- 1970s-1980s
- Extent:
- 1 folder