MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Interactive Theorem Proving with Tasks." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Interactive theorem proving with tasks
by M. Hübner, S. Autexier, C. Benzmüller, A. Meier — 2004 — Electronic Notes in Theoretical Computer Science 103 (2004
….elsevier.com/locate/entcs Interactive Theorem Proving with Tasks M. Hübner 1 S. Autexier 2 C. Benzmüller 2 A. Meier 2 1 Max…
Cited by 5 (4 self) – Add To MetaCart

A verifiable symbolic definite integral table look-up
by A. A. Adams, H. Gottliebsen, S. A. Linton, U. Martin — 1999 — In Automated Deduction - CADE-16. Proceedings
… an expert interactive theorem proving task – matching a query against the table – verifying side conditions…
Cited by 8 (2 self) – Add To MetaCart

VSDITLU: a verifiable symbolic definite integral table look-up
by A. A. Adams, H. Gottliebsen, S. A. Linton, U. Martin — 1999
… be characterised as { validating the table entries, which is generally an expert interactive theorem proving task…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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