Spelling suggestions: "subject:"nachweisverfahren"" "subject:"bewertungsverfahren""
1 |
Cancellative Abelian monoids in refutational theorem provingWaldmann, Uwe. January 1900 (has links) (PDF)
Saarbrücken, Univ., Diss., 1997. / Computerdatei im Fernzugriff.
|
2 |
User-adaptive proof explanationFiedler, Armin. January 1900 (has links) (PDF)
Saarbrücken, Univ., Diss., 2001. / Computerdatei im Fernzugriff.
|
3 |
Hierarchical contextual reasoningAutexier, Serge. January 1900 (has links) (PDF)
Saarbrücken, Univ., Diss., 2003. / Computerdatei im Fernzugriff.
|
4 |
Soft typing for clausal inference systemsMeyer, Christoph. January 1900 (has links) (PDF)
Saarbrücken, University, Diss., 1999.
|
5 |
Isabelle, Isar - a versatile environment for human readable formal proof documentsWenzel, Markus Michael. January 2002 (has links) (PDF)
München, Techn. University, Diss., 2002.
|
6 |
Hierarchical contextual reasoningAutexier, Serge. Unknown Date (has links) (PDF)
University, Diss., 2003--Saarbrücken.
|
7 |
Construction and deduction in type theoriesStrecker, 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 codeWildmoser, Martin. Unknown Date (has links)
Techn. University, Diss., 2006--München.
|
9 |
Verification of sequential imperative programs in Isabelle-HOLSchirmer, 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.0686 seconds