Artifact Details

Title

Bravo course outline, part I; Constructive methods in program verification; Early experience with mesa; The manuscript editing task: a routine cognitive skill

Catalog Number

102660558

Type

Text

Date

1976

Author

Wegbreit, Ben; Geschke, Charles M.; Morris, James H., Jr.; Satterthwaite, Edwin H.; Card, Stuart K.; Moran, Thomas P.; Newell, Allen

Publisher

Xerox PARC (Palo Alto Research Center)

Category

Technical Report

Collection Title

Company Collection

Lot Number

X3067.2005