


default search action
Artificial Intelligence, Volume 10
Volume 10, Numbers 1, February 1978
- Dominique Pastre:

Automatic Theorem Proving in Set Theory. 1-27 - Jean-Louis Laurière:

A Language and a Program for Stating and Solving Combinatorial Problems. 29-127
Volume 10, Numbers 2, April 1978
- Alan Bundy:

Will it Reach the Top? Prediction in the Mechanics World. 129-146 - Patrick H. Winston:

Learning by Creating and Justifying Transfer Frames. 147-172 - Gérard M. Baudet:

On the Branching Factor of the Alpha-Beta Pruning Algorithm. 173-199
- Hans J. Berliner:

A Chronology of Computer Chess and its Literature. 201-214
- Frank O'Gorman:

Edge Detection Using Walsh Functions. 215-223
Volume 10, Numbers 3, November 1978
- Ralph M. Weischedel, Wilfried M. Voge, Mark James:

An Artificial Intelligence Approach to Language Instruction. 225-240 - C. Cordell Green, David R. Barstow:

On Program Synthesis Knowledge. 241-279 - Frank M. Brown:

Towards the Automation of Set Theory and its Logic. 281-316

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














