Title
Various Papers from 3 International Joint Conference on Artificial Intelligence (IJCAI)Catalog Number
102720789Type
DocumentDescription
Individual reprints of following papers from International Joint Conference on Artificial Intelligence (IJCAI) 1973 -A Model for Control Structures for A.I. Programming Languages;
Proving Theorems About LISP Functions;
The Heuristic Dendral Program for Explaining Empirical Data;
Automatic Program Synthesis in Second-Ordr Logic;
A LISP Machine with Very Compact Programs, [2copies];
The LISP70 Pattern Matching System;
Artificial Intelligence and Automatic Programming in CAI;
Conversion of Predicate-Calculus Axioms;
Backtracking in MLISP2, An Efficient Backtracking Method for LISP;
CLISP - Conversational LISP