Artifact Details

Title

Various Papers from 3 International Joint Conference on Artificial Intelligence (IJCAI)

Catalog Number

102720789

Type

Document

Description

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

Date

1973

Publisher

International Joint Conference on Artificial Intelligence (IJCAI)

Extent

1 folder

Category

Article

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010