語系
Hansen, Helle Hvid.
概要
| 作品: | 1 作品在 3 項出版品 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:
Workshop on Coalgebraic Methods in Computer Science (2022 :); Hansen, Helle Hvid.; Zanasi, Fabio.; SpringerLink (Online service); ETAPS (Conference) (2022 :)
(書目-電子資源)
Logic, language, information, and computation = 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings /
by:
Workshop on Logic, Language, Information and Computation (2023 :); Hansen, Helle Hvid.; Scedrov, Andre.; Queiroz, Ruy J. G. B. de.; SpringerLink (Online service)
(書目-電子資源)
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:
International Tbilisi Symposium on Logic, Language, and Computation (2015 :); Hansen, Helle Hvid.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Logic.
Language Translation and Linguistics.
Logic in AI.
Mathematics of Computing.
Artificial Intelligence (incl. Robotics)
Computer logic
Computer science- Mathematics
Programming languages (Electronic computers)- Semantics
Language and logic
Formal Languages and Automata Theory.
Computational linguistics
Computer Science.
Computer software- Mathematics
Logic, Symbolic and mathematical