Buchberger, Bruno.
概要
作品: | 1 作品在 0 項出版品 0 種語言 |
---|
書目資訊
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 :)
(書目-語言資料,印刷品)
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.; Moreno-Diaz, Roberto.; SpringerLink (Online service); International Workshop on Computer Aided Systems Theory (2001 :)
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
主題
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