MARC details
| 000 -LEADER |
|---|
| fixed length control field |
08237cam a2201009Ii 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
on1040071768 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20220128122407.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cnu|||unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
180614s2018 sz a o 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
AZU |
| -- |
OCLCF |
| -- |
UAB |
| -- |
MERER |
| -- |
UV1 |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCA |
| -- |
VT2 |
| -- |
CNCEN |
| -- |
ESU |
| -- |
WYU |
| -- |
OTZ |
| -- |
LVT |
| -- |
OCLCQ |
| -- |
U3W |
| -- |
DKU |
| -- |
UKMGB |
| -- |
CAUOI |
| -- |
BRX |
| -- |
AU@ |
| -- |
OCLCO |
| -- |
OCLCA |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCL |
| -- |
EBLCP |
| -- |
OCLCO |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBB8O3670 |
| Source |
bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
019183676 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
1040612738 |
| -- |
1048877593 |
| -- |
1049837357 |
| -- |
1050976898 |
| -- |
1051029450 |
| -- |
1066585478 |
| -- |
1076476308 |
| -- |
1081232364 |
| -- |
1082329527 |
| -- |
1083618720 |
| -- |
1086457743 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319913766 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
331991376X |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3319913751 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319913759 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783319913759 |
| Qualifying information |
(print) |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-319-91376-6 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
UKMGB |
| System control number |
019183676 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)1040071768 |
| Canceled/invalid control number |
(OCoLC)1040612738 |
| -- |
(OCoLC)1048877593 |
| -- |
(OCoLC)1049837357 |
| -- |
(OCoLC)1050976898 |
| -- |
(OCoLC)1051029450 |
| -- |
(OCoLC)1066585478 |
| -- |
(OCoLC)1076476308 |
| -- |
(OCoLC)1081232364 |
| -- |
(OCoLC)1082329527 |
| -- |
(OCoLC)1083618720 |
| -- |
(OCoLC)1086457743 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
com.springer.onix.9783319913766 |
| Source of stock number/acquisition |
Springer Nature |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA90 |
| Item number |
.D53 2018eb |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYZG |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM070000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYZG |
| Source |
thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
518/.23 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
Diagrams (Conference) |
| Number of part/section/meeting |
(10th : |
| Date of meeting |
2018 : |
| Location of meeting |
Edinburgh, Scotland) |
| 9 (RLIN) |
63866 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Diagrammatic representation and inference : |
| Remainder of title |
10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings / |
| Statement of responsibility, etc. |
Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci (eds.). |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
Diagrams 2018 |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham, Switzerland : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2018. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xvi, 831 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
10871 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in artificial intelligence |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 7, Artificial intelligence |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Serienbezeichnung |
| 500 ## - GENERAL NOTE |
|---|
| General note |
International conference proceedings. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes author index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed June 14, 2018). |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This 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. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Intro -- Preface -- Organization -- Contents -- Keynote Contributions -- Diagrams and Nonmonotonic Logic: What Is the Cognitive Relation? -- References -- The Beauty of Graphs -- 1 Introduction -- References -- Tutorials -- Were ``Super-Turing'' Diagrammatic Reasoning Mechanisms Ancient Products of Biological Evolution? -- 1 Introduction -- References -- Using Verbal Protocols to Support Diagram Design -- Abstract -- 1 Overview -- 2 Background -- References -- Peirce on Diagrammatic Reasoning and Semeiotic -- Abstract -- 1 Introduction: Peirce's Early Algebraic Logic -- References |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Picturing Quantum Processes -- 1 Rationale -- 2 References -- References -- Carroll Diagrams: Design and Manipulation -- Abstract -- 1 Introduction -- 2 Carroll Diagrams -- 3 Directions -- 4 Organization and Practicalities -- References -- Generating and Drawing Euler Diagrams -- Generating Effective Euler Diagrams -- 1 Introduction -- 2 Euler Diagrams: Background -- 3 Euler Diagrams -- 4 The iCurves Euler Diagram Generation Technique -- 4.1 Drawing Curves in Euler Diagrams -- 4.2 Producing a Decomposition -- 4.3 Drawing Algorithm -- 5 Evaluation -- 6 Conclusion and Future Work -- References |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Variational Pictures -- 1 Introduction -- 2 Representing Variational Pictures -- 2.1 A Formal Model of Variation -- 2.2 Plain Pictures -- 2.3 Adding Choices to Pictures -- 2.4 Variability Types -- 2.5 Variability Regions -- 2.6 Distilling Variational Pictures -- 3 Properties of Variational Pictures -- 4 Maintenance of Variational Pictures -- 5 Variational Area Trees -- 6 Related Work -- 7 Conclusions and Future Work -- References -- Edge Label Placement in Layered Graph Drawing -- 1 Introduction -- 2 Layer Selection -- 3 Label Side Selection -- 3.1 Same-Side Strategy -- 3.2 Directional Strategy |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
3.3 On-Edge Strategy -- 4 Directional Decorators -- 5 Evaluation -- 6 Conclusion -- References -- Generation of Kolam-Designs Based on Contextual Array P Systems -- 1 Introduction -- 2 Preliminaries -- 3 Contextual Array P System and ``Kolam'' Pattern Generation -- 3.1 ``Kolam'' Generation Using PCAP -- 4 Concluding Remarks -- References -- Diagrams in Mathematics -- Visual Algebraic Proofs for Unknot Detection -- 1 Introduction -- 2 Groups Induced by a Knot Diagram -- 3 Reading Tangles -- 3.1 The Theory of Reading Tangles -- 4 Untangling: The Main Result and an Example |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
5 Manipulating Tangle Diagrams with the Computer -- 6 Automated Proofs -- 7 Conclusion and Future Work -- References -- A Typology of Mathematical Diagrams -- Abstract -- 1 Introduction: Why Classify Mathematical Diagrams from a Cognitive Perspective -- 2 Mathematical Diagrams and Figures -- 2.1 A Classification Scheme -- 2.2 Applying the Scheme -- 3 Examples -- 3.1 Prototypical Diagrams -- 3.2 Is This a Diagram? -- 3.3 What Kind of Diagram Is This? Examples that Challenge the Classification Scheme -- 4 Discussion: Balancing the Resolution of Diagram Classification -- 5 Conclusion -- References |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Graphic methods |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
16350 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Visual communication |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
16351 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer graphics |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15056 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematical theory of computation. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
14275 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
1340 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Information retrieval. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
945398 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software Engineering. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
14736 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Image processing. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
1679 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
User interface design & usability. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
53308 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematics |
| General subdivision |
Logic. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
945399 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Intelligence (AI) & Semantics. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
17680 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Information Technology. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
14211 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Software Development & Engineering |
| -- |
General. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
4347 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Computer Graphics. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
53312 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
User Interfaces. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
53311 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer graphics. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00872119 |
| 9 (RLIN) |
371 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Graphic methods. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00946645 |
| 9 (RLIN) |
2608 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Visual communication. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst01167997 |
| 9 (RLIN) |
2923 |
| 655 #0 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 9 (RLIN) |
396 |
| 655 #4 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 9 (RLIN) |
396 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
fast |
| Authority record control number |
(OCoLC)fst01423772 |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Chapman, Peter, |
| Relator term |
editor. |
| 9 (RLIN) |
945400 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Stapleton, Gem, |
| Relator term |
editor. |
| 9 (RLIN) |
31632 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Moktefi, Amirouche, |
| Relator term |
editor. |
| 9 (RLIN) |
63870 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Perez-Kriz, Sarah, |
| Relator term |
editor. |
| 9 (RLIN) |
63871 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bellucci, Francesco, |
| Dates associated with a name |
1983- |
| Relator term |
editor. |
| 9 (RLIN) |
63872 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783319913759 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
10871. |
| International Standard Serial Number |
0302-9743 |
| 9 (RLIN) |
945401 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science. |
| Name of part/section of a work |
Lecture notes in artificial intelligence. |
| 9 (RLIN) |
14916 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 7, |
| Name of part/section of a work |
Artificial intelligence. |
| 9 (RLIN) |
20712 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link-springer-com.libraryproxy.ist.ac.at/10.1007/978-3-319-91376-6">https://link-springer-com.libraryproxy.ist.ac.at/10.1007/978-3-319-91376-6</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL6286212 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |