Fernández, Maribel.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Logic-Based Program Synthesis and Transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings /
by:
Fernández, Maribel.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic-Based Program Synthesis and Transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings /
by:
SpringerLink (Online service); Fernández, Maribel.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer organization.
Computer engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Artificial Intelligence.
Computer networks .
Artificial intelligence.
Formal Languages and Automata Theory.
Software engineering.
Computer science.
Machine theory.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.