Hard-coded id of currently selected item: . JSON version of its record is available from Blacklight on e.g. ??
Metadata associated with selected item should appear here...
Add MS 88958/1/380
- Record Id:
- 040-001178562
- Hierarchy Root Ancestor Record Id:
- 032-001116053
- MDARK:
- ark:/81055/vdc_100000000383.0x0002eb
- LARK:
- SLARK:
- Format:
- ISAD(G)
- Reference (shelfmark):
- Add MS 88958/1/380
- Title:
- Scope & Content:
-
Copies of printed publications
The File is divided into a number of different sections, according to subject, which are described below. The material relating to each subject is contained in an acid-free folder.
‘Research memoranda’ – off-prints from MI 2-7; [1968-1972]
- RM Burstall, ‘Semantics of Assignment’
- RM Burstall and PJ Ladin, ‘Programs and their Proofs: an Algebraic Approach’
- RM Burstall, ‘Formal Description of Program Structure and Sematics in First Order Logic’
- Gordon D Plotkin, ‘A Note on Inductive Generalization’
- Ira Pohl, ‘First Results on the Effect of Error in Heuristic Search’
- JE Doren, ‘Experiments with a Pleasure-seeking Automaton’
- A Guzman, ‘Analysis of Curved Line Drawings Using Context and Global Information’
- JE Doren, ‘Planning and Generalisation in an Automaton/Environment System’
- HG Barrow and GF Crawford, ‘The Mark 1.5 Edinburgh Robot Facility’
- RJ Popplestone, ‘Freddy in Toyland’
- James Doran, ‘Planning and Robots’
- HG Barrow and SH Salter, ‘Design of Low-Cost Equipment for Cognitive Robot Research’
AM Turing, ‘Intelligent Machinery’
David Marsh, ‘Memo Functions, the Graph Traverser, and a Simple Control Situation’ - Collection Area:
- Western Manuscripts
- Project / Collection:
- Additional Manuscripts
- Hierarchy Record Ids:
- 032-001116053
036-001116070
037-001178557
040-001178562 - Is part of:
- Add MS 88958 : Donald Michie Papers
Add MS 88958/1 : University - Correspondence
Add MS 88958/1/376-380 : Machine Intelligence (Books and Workshops) Correspondence
Add MS 88958/1/380 : Copies of printed publicationsThe File is divided into a number of different sections, according to subject, which are… - Hierarchy:
- 032-001116053[0002]/036-001116070[0010]/037-001178557[0005]/040-001178562
- Container:
- View / search within Archive / Collection: Add MS 88958
- Record Type (Level):
- File
- Extent:
- 1 file
- Digitised Content:
- Languages:
- English
- Scripts:
- Latin
- Start Date:
- 1968
- End Date:
- 1972
- Date Range:
- [1968-1972]
- Era:
- CE
- Access:
-
Please request the physical items you need using the online collection item request form.
Digitised items can be viewed online by clicking the thumbnail image or digitised content link.
Readers who have registered or renewed their pass since 21 March 2024 can request physical items prior to visiting the Library by completing
this request form.
Please enter the Reference (shelfmark) above on the request form.If your Reader Pass was issued before this date, you will need to visit the Library in London or Yorkshire to renew it before you can request items online. All manuscripts and archives must be consulted at the Library in London.
This catalogue record may describe a collection of items which cannot all be requested together. Please use the hierarchy viewer to navigate to individual items. Some items may be in use or restricted for other reasons. If you would like to check the availability, contact our Reference Services team, quoting the Reference (shelfmark) above.
- User Conditions:
- Material Type:
- Archives and Manuscripts
- Legal Status:
- Not Public Record(s)