Spelling suggestions: "subject:"automatische nachweisverfahren."" "subject:"automatische bewertungsverfahren.""
11 |
Formalizing plane graph theory towards a formalized proof of the Kepler conjecture /Bauer, Gertrud Josefine. Unknown Date (has links)
Techn. University, Diss., 2006--München.
|
12 |
Proofs, programs and executable specifications in higher order logicBerghofer, Stefan. January 2003 (has links) (PDF)
München, Techn. University, Diss., 2003.
|
13 |
Cryptographically sound analysis of security protocolsBackes, Michael. Unknown Date (has links) (PDF)
University, Diss., 2002--Saarbrücken.
|
14 |
User-adaptive proof explanationFiedler, Armin. Unknown Date (has links) (PDF)
University, Diss., 2001--Saarbrücken.
|
15 |
Das KontruktionsproblemOertzen, Timo von. Unknown Date (has links) (PDF)
Universiẗat, Diss., 2003--Saarbrücken.
|
16 |
Formal verification of a fully IEEE compliant floating point unitJacobi, Christian. Unknown Date (has links) (PDF)
University, Diss., 2002--Saarbrücken.
|
17 |
W-ANTS Omega-ANTS a blackboard architecture for the integration of reasoning techniques into proof planning /Sorge, Volker. Unknown Date (has links) (PDF)
University, Diss., 2001--Saarbrücken.
|
18 |
Cancellative Abelian monoids in refutational theorem provingWaldmann, Uwe. Unknown Date (has links) (PDF)
University, Diss., 1997--Saarbrücken.
|
19 |
Equality and extensionality in automated higher-order theorem provingBenzmüller, Christoph. Unknown Date (has links) (PDF)
University, Diss., 1999--Saarbrücken.
|
20 |
Leaning search control knowlledge for equational deduction /Schulz, Stephan. January 2000 (has links)
Thesis (Dr. rer. nat.)--Technische Universität München, 2000. / "Infix"--Cover. Includes bibliographical references (p. [164]-175) and index.
|
Page generated in 0.0789 seconds