語系
Black, Elizabeth.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theory and applications of formal argumentationthird International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers /
by:
(1998 :); Black, Elizabeth.; Modgil, Sanjay.; Oren, Nir.; SpringerLink (Online service)
(書目-電子資源)
Theory and applications of formal argumentationsecond International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers /
by:
(1998 :); Black, Elizabeth.; Modgil, Sanjay.; Oren, Nir.; SpringerLink (Online service)
(書目-電子資源)
Theory and applications of formal argumentation4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017 : revised selected papers /
by:
(1998 :); Black, Elizabeth.; Modgil, Sanjay.; Oren, Nir.; SpringerLink (Online service)
(書目-電子資源)
主題
Artificial intelligence
Theory of Computation.
Pragmatics.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Formal methods (Computer science)
Computer logic
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
Computer Science.
Probability and Statistics in Computer Science.
Language and languages