Buchberger, Bruno.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
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)
(書目-電子資源)
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)
(書目-電子資源)
主題
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.