語系
Morrill, Glyn.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal grammar = 17th and 18th International Conferences, FG 2012/2013 Opole, Poland, August 2012 : revised selected papers, Dusseldorf, Germany, August 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Morrill, Glyn.; SpringerLink (Online service); Nederhof, Mark-Jan.
(書目-語言資料,印刷品)
Formal Grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /
by:
Morrill, Glyn.; Pogodalla, Sylvain.; Foret, Annie.; Osswald, Rainer.; SpringerLink (Online service); Muskens, Reinhard.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Formal methods (Computer science)
Artificial Intelligence (incl. Robotics)
Computer science—Mathematics.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Symbolic and Algebraic Manipulation.
Computational linguistics
Natural language processing (Computer science)
Computers.
Computer Science.
Computer Science, general.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematical linguistics
Computation by Abstract Devices.