Jürgen Stuber (stuber)

Contributions à Philosophie.ch

Bibliography

Stuber, Jürgen. 1998. “Superposition Theorem Proving for Commutative Rings.” in Automated Deduction: A Basis for Applications. Volume III, Applications, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 31–56. Applied Logic Series n. 10. Dordrecht: Kluwer Academic Publishers.