Languages
Rabe, Florian.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Intelligent computer mathematics = 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Rabe, Florian.; SpringerLink (Online service)
(Language materials, printed)
Intelligent Computer Mathematics = 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /
by:
SpringerLink (Online service); Farmer, William M.; Youssef, Abdou.; Passmore, Grant O.; Rabe, Florian.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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.
Math Applications in Computer Science.
Artificial intelligence.
Symbolic and Algebraic Manipulation.
Computers and Education.
Education—Data processing.
Natural language processing (Computer science).
Programming Techniques.
Computer Science.
Computer programming.
Computer science
Mathematical Logic and Formal Languages.
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Application software.
Information storage and retrieval.
Artificial Intelligence.
Computer Appl. in Social and Behavioral Sciences.
Natural Language Processing (NLP).
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).