Sabine Stifter (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2 B. Kutzler, Sabine Stifter: A Geometry Theorem Prover Based on Buchberger's Algorithm. CADE 1986: 693-694

1 B. Kutzler, Sabine Stifter: On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving. J. Symb. Comput. 2(4): 389-397 (1986)

Selection of 2 from 13 records - Sabine Stifter has 2 coauthors

2		B. Kutzler, Sabine Stifter: A Geometry Theorem Prover Based on Buchberger's Algorithm. CADE 1986: 693-694
1		B. Kutzler, Sabine Stifter: On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving. J. Symb. Comput. 2(4): 389-397 (1986)