Languages
Tompa, Frank.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Communicating with XML
by:
Salminen, Airi.; Tompa, Frank.; SpringerLink (Online service)
(Language materials, printed)
Subjects
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.