Viana, Petrucio.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.