Kaliszyk, Cezary.
概要
| 作品: | 2 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
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.