Søkt på: bruno buchberger
totalt 6 treff
Artificial Intelligence and Symbolic Computation
AISC 2004, the 7th International Conference on Arti?cial Intelligence and S- bolicComputation,wasthelatestintheseriesofspecializedbiennialconferences …
Computer Aided Systems Theory - EUROCAST 2001
The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler in the late 1980s to include those computer theoretical and practical developments as tools to …
Mathematical Knowledge Management
This volume contains the proceedings of theSecondInternationalConferenceon MathematicalKnowledgeManagement (MKM 2003), held 16-18 February 2003 in Bertinoro, Italy. Mathematical …
Correct Software in Web Applications and Web Services
The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and …
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
Hagenberg Research
BrunoBuchberger This book is a synopsis of basic and applied research done at the various re search institutions of the Softwarepark Hagenberg in Austria. Starting with 15 …