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
  

Last update Wed May 22 16:58:14 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page