Searching for "Adding External Decision Procedures to HOL90 Securely." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Adding External Decision Procedures to HOL90 Securely
by Elsa Gunter Bell — 1998 — Lecture Notes in Computer Science
…Adding External Decision Procedures to HOL90 Securely Elsa L. Gunter Bell Laboratories, 600…
Add To MetaCart

Adding External Decision Procedures to HOL90 Securely
by unknown authors
… Adding External Decision Procedures to HOL90 Securely Elsa L. Gunter Bell Laboratories, 600…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB