語系
Carette, Jacques.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Mathematical Software – ICMS 2020 = 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings /
by:
de Wolff, Timo.; Bigatti, Anna Maria.; SpringerLink (Online service); Davenport, James H.; Carette, Jacques.; Joswig, Michael.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Intelligent computer mathematics = MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 : proceedings /
by:
SpringerLink (Online service); Carette, Jacques.
(書目-語言資料,印刷品)
Intelligent Computer Mathematics = International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
by:
Kerber, Manfred.; SpringerLink (Online service); Kaliszyk, Cezary.; Sorge, Volker.; Carette, Jacques.; Rabe, Florian.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer science—Mathematics.
Computer mathematics.
Computer System Implementation.
Data Structures and Information Theory.
Math Applications in Computer Science.
Artificial intelligence.
Symbolic and Algebraic Manipulation.
Computer Communication Networks.
Natural language processing (Computer science).
Architecture, Computer.
Data structures (Computer science).
Computer Science.
Computer science
Mathematical Logic and Formal Languages.
Document Preparation and Text Processing.
Special purpose computers.
Computer communication systems.
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Information storage and retrieval.
Artificial Intelligence.
Mathematical Applications in Computer Science.
Special Purpose and Application-Based Systems.
Natural Language Processing (NLP).
Information Storage and Retrieval.
Discrete Mathematics in Computer Science.