Hutton, Graham.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Mathematics of Program Construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings /
by:
Hutton, Graham.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Computer logic.
Math Applications in Computer Science.
Software engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
System Performance and Evaluation.
Natural Language Processing (NLP).
Computer system failures.
Natural language processing (Computer science).