Languages
Carette, Jacques.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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.
(Language materials, printed)
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.