Hutton, Graham.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Mathematics of Program Construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings /
by:
Hutton, Graham.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Computer logic.
Math Applications in Computer Science.
Software engineering.
System Performance and Evaluation.
Natural Language Processing (NLP).
Computer system failures.
Natural language processing (Computer science).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.