語系
Slavkovik, Marija.
概要
| 作品: | 18 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
New Directions in Logic, Language and Computation = ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers /
by:
Lassiter, Daniel.; Slavkovik, Marija.; SpringerLink (Online service)
(書目-電子資源)
Multi-agent systems = 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018 : revised selected papers /
by:
EUMAS (Workshop) (2018 :); Slavkovik, Marija.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Computer Science, general.
Software Engineering.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Computer logic
Computer science- Mathematics
Programming Languages, Compilers, Interpreters.
Artificial Intelligence.
Computer Science.
Probability and Statistics in Computer Science.
Multiagent systems