Buchberger, Bruno.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Computer aided systems theory - EUROCAST 2001a 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:
(1998 :); Buchberger, Bruno.; Freire, Jose-Luis.; Moreno-Diaz, Roberto.; SpringerLink (Online service)
(Electronic resources)
Artificial intelligence and symbolic computation7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings /
by:
(1998 :); Buchberger, Bruno.; Campbell, J. A., (1940-); SpringerLink (Online service)
(Electronic resources)
Mathematical knowledge managementsecond international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /
by:
(1998 :); Asperti, Andrea.; Buchberger, Bruno.; Davenport, James Harold, (1953-); SpringerLink (Online service)
(Electronic resources)
Subjects
Artificial intelligence
Software Engineering.
Theory of Computation.
Mathematics
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Computer-aided design
User Interfaces and Human Computer Interaction.
Computer-aided engineering
Information storage and retrieval systems
Information Systems Applications (incl.Internet)
Logic, Symbolic and mathematical
Computer science.
Computer Science.
Computer Communication Networks.