Machine Intelligence. 1-, Volume 10

Front Cover
Yoh-Han Pao, Donald Michie, J. E. Hayes
Halsted Press, 1982 - Artificial intelligence - 576 pages
0 Reviews
Vols. 1-6 comprise Proceedings of the Machine Intelligence Workshop; v. 9- based on the International Machine Intelligence Workshop.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

On generating and using examples in proof discovery
3
A firstorder formalisation of knowledge and action
41
Knowledgebased problemsolving in AL3 I BRATKO
73
Copyright

26 other sections not shown

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information