Viana, Petrucio.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Diagrammatic Representation and Inference = 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings /
by:
Manalo, Emmanuel.; Basu, Amrita.; Stapleton, Gem.; Linker, Sven.; Viana, Petrucio.; SpringerLink (Online service); Legg, Catherine.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Diagrammatic Representation and Inference = 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings /
by:
Viana, Petrucio.; Giardino, Valeria.; SpringerLink (Online service); Boucheix, Jean-Michel.; Burns, Richard.; Linker, Sven.; Bellucci, Francesco.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer science—Mathematics.
Data Structures and Information Theory.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Information theory.
Computer science.
Theory of Computation.
Human-computer interaction.
Data Structures.
User Interfaces and Human Computer Interaction.
Optical data processing.
Mathematics of Computing.
Data structures (Computer science).
Programming Techniques.
Computer programming.
Compilers and Interpreters.
Mathematical Logic and Formal Languages.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Algorithms.
Compilers (Computer programs).
User interfaces (Computer systems).
Artificial Intelligence.