語系
Slavkovik, Marija.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Multi-Agent Systems = 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers /
by:
SpringerLink (Online service); Slavkovik, Marija.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
New Directions in Logic, Language and Computation = ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers /
by:
SpringerLink (Online service); Lassiter, Daniel.; Workshop on the Preservation of Stability under Discretization ((2001 :); Slavkovik, Marija.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Software Engineering.
Computer logic
Artificial Intelligence (incl. Robotics)
Mathematical statistics.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Computer Science.
Computer Science, general.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer science
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Probability and Statistics in Computer Science.