Diagrammatic Representation and Inference

Diagrammatic Representation and Inference

10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings

Bellucci, Francesco; Stapleton, Gem; Chapman, Peter; Moktefi, Amirouche; Perez-Kriz, Sarah

Springer International Publishing AG

05/2018

831

Mole

Inglês

9783319913759

15 a 20 dias

1276

Descrição não disponível.
Índice não disponível.
3D;artificial intelligence;comprehension;data visualization;formal logic;graph theory;Human-Computer Interaction (HCI);image reconstruction;information visualization;interactive computer graphics;knowledge representation;modal logic;ontologies;problem solving;project management;semantics;software engineering;theorem proving;user interfaces;visualization design