Basic Research in Artificial Intelligence and Foundations of Programming
The work
| Authors | John McCarthy; Thomas Binford; David Luckham; Zohar Manna; Richard Weyhrauch |
|---|---|
| Editors | |
| Type | techreport |
| Year | 1980 |
| Also known as | mccarthybasic |
| Citekey | mccarthy1980basic |
Where it appeared
| Publisher | Stanford University |
|---|---|
| Series | Stanford Artificial Intelligence Laboratory Memo |
| Number in series | AIM-337 |
| Issue | STAN-CS-80-808 |
Abstract
Recent research results are reviewed in the areas of formal reasoning, mathematical theory of computation, program verification, and image understanding.
A copy is held
pdf, 1.7 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-04 00:00 UTC |
| Approved by | a person 2026-08-17 08:39 UTC |
Filed under
Cite it as
@techreport{mccarthy1980basic,
title = {Basic Research in Artificial Intelligence and Foundations of Programming},
author = {John McCarthy and Thomas Binford and David Luckham and Zohar Manna and Richard Weyhrauch},
year = {1980},
publisher = {Stanford University},
series = {Stanford Artificial Intelligence Laboratory Memo},
number = {STAN-CS-80-808},
}
This record lives at https://refs.drheap.org/mccarthy1980basic/ and will keep
doing so. It used to be called mccarthybasic, and those addresses still resolve to this one.