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 1 to 10 of 23 (0.106 seconds)

Spelling suggestions: "subject:"automatische nachweisverfahren."" "subject:"automatische bewertungsverfahren.""

1

Cancellative Abelian monoids in refutational theorem proving

Waldmann, Uwe. January 1900 (has links) (PDF)
Saarbrücken, Univ., Diss., 1997. / Computerdatei im Fernzugriff.
Automatisches Beweisverfahren
2

User-adaptive proof explanation

Fiedler, Armin. January 1900 (has links) (PDF)
Saarbrücken, Univ., Diss., 2001. / Computerdatei im Fernzugriff.
Automatisches Beweisverfahren
3

Hierarchical contextual reasoning

Autexier, Serge. January 1900 (has links) (PDF)
Saarbrücken, Univ., Diss., 2003. / Computerdatei im Fernzugriff.
Automatisches Beweisverfahren
4

Soft typing for clausal inference systems

Meyer, Christoph. January 1900 (has links) (PDF)
Saarbrücken, University, Diss., 1999.
Automatisches Beweisverfahren
5

Isabelle, Isar - a versatile environment for human readable formal proof documents

Wenzel, Markus Michael. January 2002 (has links) (PDF)
München, Techn. University, Diss., 2002.
Automatisches Beweisverfahren
6

Hierarchical contextual reasoning

Autexier, Serge. Unknown Date (has links) (PDF)
University, Diss., 2003--Saarbrücken.
Automatisches Beweisverfahren.
7

Construction and deduction in type theories

Strecker, Martin. January 1999 (has links)
Ulm, Univ., Diss., 1999. / http://vts.uni-ulm.de/query/longview.meta.asp?document_id=259.
8

Verified proof carrying code

Wildmoser, Martin. Unknown Date (has links)
Techn. University, Diss., 2006--München.
9

Verification of sequential imperative programs in Isabelle-HOL

Schirmer, Norbert. Unknown Date (has links)
Techn. University, Diss., 2006--München.
10

Zur Effizienz der Beweissuche in der Logikverarbeitung /

Dunker, Ulf. January 1997 (has links)
Zugl.: Paderborn, Universiẗat, Diss., 1997.

Page generated in 0.1118 seconds