Spelling suggestions: "subject:"nachweisverfahren"" "subject:"bewertungsverfahren""
21 |
A combination of geometry theorem proving and nonstandard analysis with application to Newton's principia /Fleuriot, Jacques. January 2001 (has links)
Univ., Diss.--Cambridge, 1991. / Literaturverz. S. [133] - 138.
|
22 |
Superposition theorem proving for commutative algebraic theoriesStuber, Jürgen. Unknown Date (has links) (PDF)
University, Diss., 2000--Saarbrücken.
|
23 |
Resolution-based decision procedures for subclasses of first-order logicHustadt, Ullrich. Unknown Date (has links) (PDF)
University, Diss., 1999--Saarbrücken.
|
Page generated in 0.0385 seconds