LEADER 04025nam  22007575  450 
001 9910349437403321
005 20200705041628.0
010   $a3-319-91376-X
024 7 $a10.1007/978-3-319-91376-6
035   $a(CKB)3810000000358640
035   $a(DE-He213)978-3-319-91376-6
035   $a(MiAaPQ)EBC6286212
035   $a(PPN)229494110
035   $a(EXLCZ)993810000000358640
100   $a20180516d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aDiagrammatic Representation and Inference $e10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings /$fedited by Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XVI, 831 p. 379 illus.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v10871
300   $aIncludes index.
311   $a3-319-91375-1 
330   $aThis book constitutes the refereed proceedings of the 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, held in Edinburgh, UK, in June 2018. The 26 revised full papers and 28 short papers presented together with 32 posters were carefully reviewed and selected from 124 submissions. The papers are organized in the following topical sections: generating and drawing Euler diagrams; diagrams in mathematics; diagram design, principles and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; Peirce and existential graphs; and logic and diagrams.
410  0$aLecture Notes in Artificial Intelligence ;$v10871
606   $aUser interfaces (Computer systems)
606   $aMathematical logic
606   $aArtificial intelligence
606   $aApplication software
606   $aSoftware engineering
606   $aOptical data processing
606   $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aImage Processing and Computer Vision$3https://scigraph.springernature.com/ontologies/product-market-codes/I22021
615  0$aUser interfaces (Computer systems).
615  0$aMathematical logic.
615  0$aArtificial intelligence.
615  0$aApplication software.
615  0$aSoftware engineering.
615  0$aOptical data processing.
615 14$aUser Interfaces and Human Computer Interaction.
615 24$aMathematical Logic and Formal Languages.
615 24$aArtificial Intelligence.
615 24$aInformation Systems Applications (incl. Internet).
615 24$aSoftware Engineering.
615 24$aImage Processing and Computer Vision.
676   $a006.6
702   $aChapman$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aStapleton$b Gem$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMoktefi$b Amirouche$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPerez-Kriz$b Sarah$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBellucci$b Francesco$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349437403321
996   $aDiagrammatic Representation and Inference$9772658
997   $aUNINA