1.
|
The Programmer's Apprentice Project: A Research Overview Rich, Charles - Waters, Richard C.
|
2.
|
ARIADNE: Pattern-Directed Inference and Hierarchical Abstraction in Protein Structure Recognition Lathrop, Richard H. - Webster, Teresa A. - Smith, Temple F.
|
3.
|
Expressing Mathematical Subroutines Constructively Roylance, Gerald
|
4.
|
Issues in Model Based Troubleshooting Hamscher, Walter - Davis, Randall
|
5.
|
D-SCRIPT: A Computational Theory of Descriptions Moore, Robert C.
|
6.
|
Introduction to the Calculus of Knowledge Raphael, Bertram
|
7.
|
Proposal to ARPA for Continued Research on A.I. for 1973 Minsky, Marvin - Papert, Seymour
|
8.
|
Measuring the Impact of Information Technology on Value and Productivity using a Process-Based Approach: The case for RFID Technology Subirana, Brian - Eckes, Chad - Herman, George - Sarma, Sanjay - Barrett, Michael
|
9.
|
Proposal to ARPA for Continued Research on A.I. Minsky, Marvin
|
10.
|
3-round weak zero-knowledge proofs for [Nu] [Rho], Three-round weak ZK proofs for [Nu] [Rho] Lim, Dah-Yoh, 1978-
|