Buchberger, Bruno.
Overview
| Works: | 9 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Correct Software in Web Applications and Web Services
by:
Schewe, Klaus-Dieter.; Thalheim, Bernhard.; Buchberger, Bruno.; SpringerLink (Online service); Prinz, Andreas.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Mathematical knowledge management = second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Asperti, Andrea.; Buchberger, Bruno.; SpringerLink (Online service); Davenport, James Harold, (1953-)
(Language materials, printed)
Artificial intelligence and symbolic computation = 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings /
by:
Campbell, J. A., (1940-); Workshop on the Preservation of Stability under Discretization ((2001 :); Buchberger, Bruno.; SpringerLink (Online service)
(Language materials, printed)
Hagenberg research
by:
Buchberger, Bruno.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Computer science—Mathematics.
Computer mathematics.
Software Engineering/Programming and Operating Systems.
Automatic theorem proving
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer Science.
Information Systems Applications (incl.Internet)
Algorithms.
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Mathematical Applications in Computer Science.
Information storage and retrieval systems
Logic, Symbolic and mathematical
Computer science.
Mathematics
User Interfaces and Human Computer Interaction.