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