10.22028/D291-25749
Stuber, Jürgen
Superposition theorem proving for commutative algebraic theories
Universität des Saarlandes
2000
Abelsche Gruppe ; Superpositionskalkül ; Automatisches Beweisverfahren ; Prädikatenlogik /Stufe 1
004
Kommutativer Ring ; Kommutative Algebra ; Modul
Universität des Saarlandes
Universität des Saarlandes
2004-05-14
2017-07-12
2004-05-14
2000
2004-09-23
en
doctoralThesis
urn:nbn:de:bsz:291-scidok-2406
hdl:20.500.11880/25805