Buchberger, Bruno.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Hagenberg research
by:
Buchberger, Bruno.; SpringerLink (Online service)
(Language materials, printed)
Mathematical knowledge management = second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /
by:
Asperti, Andrea.; Buchberger, Bruno.; Davenport, James Harold, (1953-); SpringerLink (Online service); International Conference on Mathematical Knowledge Management (2003 :)
(Language materials, printed)
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/
by:
Buchberger, Bruno.; Freire, Jose-Luis.; SpringerLink (Online service); International Workshop on Computer Aided Systems Theory (2001 :); Moreno-Diaz, Roberto.
(Language materials, printed)
Artificial intelligence and symbolic computation = 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings /
by:
Buchberger, Bruno.; Campbell, J. A., (1940-); SpringerLink (Online service); AISC 2004 ((2004 :)
(Language materials, printed)
Subjects
Artificial intelligence
Software Engineering.
Theory of Computation.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Computer-aided design- Congresses.
Mathematics- Data processing
User Interfaces and Human Computer Interaction.
Logic, Symbolic and mathematical- Congresses.
Computer-aided engineering- Congresses.
Information Systems Applications (incl.Internet)
Computer science.
Computer Science.
Computer Communication Networks.
Information storage and retrieval systems- Mathematics