Franz Winkler1955 · 4 obras en el catálogoObrasGröbner bases and applicationsAutomated Deduction in Geometry2004TThe Church Rosser property in computer algebra and special tThe Church Rosser property in computer algebra and special theorem proving1984Polynomial algorithms in computer algebra1996
TThe Church Rosser property in computer algebra and special tThe Church Rosser property in computer algebra and special theorem proving1984