Artificial Intelligence, Volume 10

Volume 10, Numbers 1, February 1978

• Dominique Pastre: Automatic Theorem Proving in Set Theory. 1-27 BibTeX
• Jean-Louis Laurière: A Language and a Program for Stating and Solving Combinatorial Problems. 29-127 BibTeX

Volume 10, Numbers 2, April 1978

• Alan Bundy: Will it Reach the Top? Prediction in the Mechanics World. 129-146 BibTeX
• Patrick H. Winston: Learning by Creating and Justifying Transfer Frames. 147-172 BibTeX
• Gérard M. Baudet: On the Branching Factor of the Alpha-Beta Pruning Algorithm. 173-199 BibTeX

• Hans J. Berliner: A Chronology of Computer Chess and its Literature. 201-214 BibTeX

• Frank O'Gorman: Edge Detection Using Walsh Functions. 215-223 BibTeX

Volume 10, Numbers 3, November 1978

• Ralph M. Weischedel, Wilfried M. Voge, Mark James: An Artificial Intelligence Approach to Language Instruction. 225-240 BibTeX
• C. Cordell Green, David R. Barstow: On Program Synthesis Knowledge. 241-279 BibTeX
• Frank M. Brown: Towards the Automation of Set Theory and its Logic. 281-316 BibTeX