語系
Tompa, Frank.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Intelligent Computer Mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
by:
Johansson, Moa.; Tompa, Frank.; Kohlhase, Michael.; SpringerLink (Online service); Miller, Bruce.; de Moura, Leonardo.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Communicating with XML
by:
Salminen, Airi.; Tompa, Frank.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical logic.
Software Engineering.
Information Systems and Communication Service.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Simulation and Modeling.
Business Information Systems.
Computer Science.
XML (Document markup language)
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl. Internet)
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Document Preparation and Text Processing.
Computer simulation.