Doina Tãtar

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1995

1 Doina Tãtar: Buchberger Algorithm in Theorem Proving. Sci. Ann. Cuza Univ. 4: 85-92 (1995)