Machine Intelligence Volume 1

 Home > Browse Our Collection > Books > General > Machine Intelligence Volume 1
 

Contents

 PREFACE by Sir Edward Collingwood FRS

 INTRODUCTION 

 ABSTRACT FOUNDATIONS

     1.  Linear graphs and trees: H.I. SCOINS
     2.  Mathematical proofs about computer programs: D.C. COOPER

 THEOREM PROVING

     3.  Beth-tree methods in automatic theorem-proving:          R.J. POPPLESTONE
     4.  The resolution principle in theorem-proving: D. LUCKHAM 

 MACHINE LEARNING AND HEURISTIC PROGRAMMING

    5.  Tree-searching methods with an application to a network design problem: R.M. BURSTALL 
     6.  Experiments with a learning component in a Go-Moku playing program: E.W. ELCOCK and A.M. MURRAY
     7.  An approach to automatic problem-solving: J. DORAN 
     8.  Complete solution of the `Eight-Puzzle': P.D.A. SCHOFIELD
     9.  Strategy-building with the Graph Traverser: D. MICHIE

 COGNITIVE PROCESSES: METHODS AND MODELS

     10. Networks as models of word storage: G.R. KISS   
     11. Will seeing machines have illusions? R.L. GREGORY 

 PATTERN RECOGNITION
     12. Perception, picture processing and computers: Dr M.B. CLOWES    
     13. Automatic speech recognition: a problem for machine intelligence: D.R. HILL   

 PROBLEM-ORIENTED LANGUAGES

     14. Simply partitioned data structures: the compiler-compiler re-examined: R.A. BROOKER and J.S. ROHL
     15. The third-order compiler: a context for free man-machine communication: R.B.E. NAPPER
     16. Principles for implementing useful subsets of advanced programming languages: G.F. COULOURIS
     17. Interrogation languages: J.M. FOSTER
 SUBJECT INDEX         
 AUTHOR INDEX

Bibliographic details

    Machine Intelligence 1
    Editors: N.L. Collins and Donald Michie
    Experimental Programming Unit, University of Edinburgh
    Publisher: Oliver and Boyd 1967

    Proceedings of the First International Machine Intelligence Workshop, held at Edinburgh, September 1965. Host laboratory: experimental Programming Unit, University of Edinburgh, UK.

ISBN :

Publisher : Oliver & Boyd

Author :

Format :

--

 

 

 

This book may be available to buy :
Machine Intelligence Volume 1

 

 

 

This exhibit has a reference ID of CH14002. Please quote this reference ID in any communication with the Centre for Computing History.
 
Machine Intelligence Volume 1 Click on the Images For Detail

Help support the museum by buying from the museum shop

View all items

Founding Sponsors
redgate Google ARM Real VNC Microsoft Research
Heritage Lottery Funded
Heritage Lottery Fund
Accredited Museum