Searching for "IMPS." – sorted by Relevance.
4,717 documents found, showing 1 through 10.
Next 10 →
-
IMPS: an updated system description
- …IMPS: An Updated System Description ⋆ William M. Farmer 1 , Joshua D. Guttman 1 , F. Javier Thayer…
- Cited by 2 (1 self) – Add To MetaCart
-
Tables of IMP-polynomials
- …PACT Tables of IMP-polynomials Deliverable D5H-4 (Contract GZ 308.930/1-IV/3/93) Responsible…
- Add To MetaCart
-
Proof Script Pragmatics in IMPS
- …Proof Script Pragmatics in IMPS ? William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier…
- Cited by 4 (3 self) – Add To MetaCart
-
IMPS: System Description
- …IMPS: System Description William M. Farmer, Joshua D. Guttman, F. Javier Thayer The MITRE…
- Cited by 13 (6 self) – Add To MetaCart
-
Nasa's Imp 8 Spacecraft
- …NASA'S IMP 8 SPACECRAFT K.I. PAULARENA Center for Space Research, Massachusetts Institute…
- Add To MetaCart
-
ZAR UTO UNE IMP
- … CWIEHE INR UER ZAR UTO UNE IMP Distribution Level: Abstract The QMIPS Project: Nigel Thomas Isi…
- Add To MetaCart
-
IMPS: An Interactive Mathematical Proof System
- …IMPS: An Interactive Mathematical Proof System William M. Farmer, Joshua D. Guttman, F. Javier…
- Cited by 77 (17 self) – Add To MetaCart
-
Implementation of algorithms for IMP-polynomials
- …PACT Implementation of algorithms for IMP-polynomials Deliverable D5H-2 (Contract GZ 308.930/1-IV/3…
- Cited by 2 (0 self) – Add To MetaCart
-
IMPS: An Interactive Mathematical Proof System
- …IMPS: An Interactive Mathematical Proof System William M. Farmer, Joshua D. Guttman, F. Javier…
- Add To MetaCart
-
IMPED (IMP EDitor): A Visual Message Protocol Specification Language
- …IMPED (IMP EDitor): A Visual Message Protocol Specification Language Rick L. Vinyard, Jr…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
