Hansen, Helle Hvid.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Coalgebraic Methods in Computer Science = 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings /
by:
Zanasi, Fabio.; Hansen, Helle Hvid.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, language, and computation = 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : rvised selected papers /
by:
Hansen, Helle Hvid.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Logic, language, information, and computation = 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings /
by:
SpringerLink (Online service); Scedrov, Andre.; Hansen, Helle Hvid.; Workshop on the Preservation of Stability under Discretization ((2001 :); Queiroz, Ruy J. G. B. de.
(書目-語言資料,印刷品)
主題
Computer logic
Artificial Intelligence (incl. Robotics)
Computer science—Mathematics.
Logic programming.
Formal Languages and Automata Theory.
Language Translation and Linguistics.
Logic, Symbolic and mathematical
Computational linguistics
Machine theory.
Logic in AI.
Programming languages (Electronic computers)
Mathematics of Computing.
Computer Science.
Logic.
Mathematical Logic and Formal Languages.
Language and logic