Computer Science

College of Engineering

Works Published in 1981

copy embed code
Copy Embed Code Experiment

You can embed this resource into your own website. To do so, either use the code generated by us, or use the link and tweak the rest to your preferences. Copy the respective code or link below.

Displaying all 6 works

Sorted by most recent date added to the index first, which may not be the same as publication date order.

1981 book

STAROS User and System Structure Manual

Department of Computer Science, Carnegie-Mellon University.

By: E. Gehringer & R. Chansler

Source: ORCID
Added: July 13, 2022

1981 report

An attributed LL(1) compilation of Pascal into the lambda-calculus

(Technical Report No. CS-8103). Troy, NY: Rensselaer Polytechnic Institute Mathematical Sciences Department.

By: E. Kaltofen & S. Abdali

Source: NC State University Libraries
Added: March 26, 2022

1981 conference paper

A generalized class of polynomials that are hard to factor

Proceedings of the fourth ACM symposium on Symbolic and algebraic computation - SYMSAC '81. Presented at the the fourth ACM symposium.

By: E. Kaltofen*, D. Musser & B. Saunders

Event: the fourth ACM symposium

Source: Crossref
Added: August 28, 2020

1981 article

A Truth Maintenance System**This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract number N00014-75-C-0643, and in part by NSF grant MCS77-04828.

Readings in Artificial Intelligence, pp. 496–516.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1981 journal article

A model for deliberation, action, and introspection

SIGART Bull., 1(75), 10–10.

By: J. Doyle*

Source: ORCID
Added: December 5, 2019

1981 report

STAROS User and System Structure Manual

[Technical Report]. Department of Computer Science, Carnegie-Mellon University.

By: E. Gehringer & R. Chansler

Source: NC State University Libraries
Added: April 14, 2019