Reading Length
Home
Speed Tests
Login
Franz Winkler
Born 1955-01-01
Identifiers
Open Library
OL528918A
Top Subjects
Automatic theorem proving (2)
Computer algorithms (2)
Algebra, Universal -- Data processing (1)
Algebra -- Data processing (1)
Geometry - General (1)
Data processing (1)
Artificial intelligence (1)
Books by Franz Winkler
Total count: 3
The Church Rosser property in computer algebra and special theorem proving
an investigation of critical pair, completion algorithms
VWGÖ
1984-01-01
Polynomial algorithms in computer algebra
Springer
1996-01-01
Automated Deduction in Geometry
4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in Computer Science)
1 edition
Springer
2004-03-19
