NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 18
  • 3
  • 2
  • Tagged with
  • 23
  • 23
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 11 to 20 of 23 (0.078 seconds)

Spelling suggestions: "subject:"automatisches beweisverfahren"" "subject:"automatisches nachweisverfahren""

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 logic

Berghofer, Stefan. January 2003 (has links) (PDF)
München, Techn. University, Diss., 2003.
13

Cryptographically sound analysis of security protocols

Backes, Michael. Unknown Date (has links) (PDF)
University, Diss., 2002--Saarbrücken.
14

User-adaptive proof explanation

Fiedler, Armin. Unknown Date (has links) (PDF)
University, Diss., 2001--Saarbrücken.
15

Das Kontruktionsproblem

Oertzen, Timo von. Unknown Date (has links) (PDF)
Universiẗat, Diss., 2003--Saarbrücken.
16

Formal verification of a fully IEEE compliant floating point unit

Jacobi, 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 proving

Waldmann, Uwe. Unknown Date (has links) (PDF)
University, Diss., 1997--Saarbrücken.
19

Equality and extensionality in automated higher-order theorem proving

Benzmü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.0838 seconds