NSF INT-9016780, Theorem Prover Support, 1991 - 1994
NSF INT-9016780, Theorem Prover Support, 1991 - 1994
ML-101: Stephen Garland papers
Folder: 33, Box: 15
Identifier: 2
Description
From the Box:
Box: 15
Dates
- 1991 - 1994
Conditions Governing Access
Unrestricted
Language of Materials
From the Collection: English
Creator
- From the Collection: Garland, Stephen (J.) (Person)
Part of the Rauner Special Collections Library Repository