Søkt på: bruno buchberger
totalt 6 treff
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 …
Mathematical Knowledge Management
Grobner Bases and Applications
The theory of Grobner bases, invented by Bruno Buchberger, is a general method by which many fundamental problems in various branches of mathematics and engineering can be solved …
Artificial Intelligence and Symbolic Computation
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 …
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 …