König, Barbara.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Foundations of Software Science and Computation Structures = 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings /
by:
SpringerLink (Online service); Goubault-Larrecq, Jean.; König, Barbara.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Artificial intelligence.
Computer logic.
Computer organization.
Computer programming.
Computer science—Mathematics.
Computer Systems Organization and Communication Networks.
Discrete Mathematics in Computer Science.
Logic in AI.
Mathematical logic.
Mathematical Logic and Foundations.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Programming Techniques.