Kaliszyk, Cezary.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Intelligent Computer Mathematics = 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings /
by:
SpringerLink (Online service); Brady, Edwin.; Sacerdoti Coen, Claudio.; Kohlhase, Andrea.; Kaliszyk, Cezary.
(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.
Information Systems and Communication Service.
Information storage and retrieval.
Math Applications in Computer Science.
Artificial Intelligence.
Artificial intelligence.
Symbolic and Algebraic Manipulation.
Natural Language Processing (NLP).
Natural language processing (Computer science).
Theory of Computation.
Information Storage and Retrieval.
Computers.
Mathematical Logic and Formal Languages.