Diagrammatic Representation and Inference

Diagrammatic Representation and Inference

13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings

Linker, Sven; Viana, Petrucio; Bellucci, Francesco; Boucheix, Jean-Michel; Burns, Richard; Giardino, Valeria

Springer International Publishing AG

08/2022

383

Mole

Inglês

9783031151453

15 a 20 dias

605

Descrição não disponível.
Índice não disponível.
artificial intelligence;computer programming;computer systems;formal logic;graph theory;graphic methods;Human-Computer Interaction (HCI);modal logic;object-oriented programming;programming languages;software engineering;theoretical computer science;uml diagrams;unified modeling language;user interfaces