Bruno Buchberger (auth.)

Hagenberg Research

2009 · ENGLISH · PDF

View details →

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings

1993 · ENGLISH · PDF

View details →

Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2006 · ENGLISH · PDF

View details →

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings

1993 · ENGLISH · DJVU

View details →

Hagenberg research

2009 · ENGLISH · PDF

View details →

Computer Aided Systems Theory — EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers

2001 · ENGLISH · PDF

View details →

Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985

1985 · ENGLISH · DJVU

View details →

Hagenberg research

2009 · ENGLISH · PDF

View details →