Return to search

Superposition theorem proving for commutative algebraic theories

Saarbrücken, Univ., Diss., 2000. / Computerdatei im Fernzugriff.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/637402953
Date January 1900
CreatorsStuber, Jürgen.
Publisher[S.l.] : [s.n.],
Source SetsOCLC
LanguageUndetermined
Detected LanguageEnglish

Page generated in 0.0019 seconds