Søkt på: Bruno Buchberger
totalt 20 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 …
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 …
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 …
Mathematik für Informatiker I
Mathematical Knowledge Management
Mathematik für Informatiker I
Das vor1iegende Skriptum ist der erste Tei1 ei.ner 4-semestrigen V- n 1esung nMathematik fur Informatiker, die seit WS 79/80 an der Universitat Linz neu aufgebaut wird. Die Autoren …
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
This volume contains the proceedings of theSecondInternationalConferenceon MathematicalKnowledgeManagement (MKM 2003), held 16-18 February 2003 in Bertinoro, Italy. Mathematical …
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 …
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 …