MARC details
| 000 -LEADER |
|---|
| fixed length control field |
07570cam a22007574a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn619662672 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20211230145115.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 |n||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
000803s2000 nyua ob 101 0 eng c |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
COO |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
COO |
| Modifying agency |
OCLCQ |
| -- |
YNG |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
YDX |
| -- |
DKDLA |
| -- |
UV0 |
| -- |
GW5XE |
| -- |
UA@ |
| -- |
AU@ |
| -- |
NLGGC |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
UAB |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
OCLCA |
| -- |
WYU |
| -- |
OCLCQ |
| -- |
OCLCA |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
AUD |
| -- |
EUX |
| -- |
OCLCQ |
| -- |
UKAHL |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBA058458 |
| Source |
bnb |
| 019 ## - |
|---|
| -- |
66722377 |
| -- |
729903931 |
| -- |
769771153 |
| -- |
851820022 |
| -- |
1005835883 |
| -- |
1066445940 |
| -- |
1081182883 |
| -- |
1105603689 |
| -- |
1132298679 |
| -- |
1162787344 |
| -- |
1238698509 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540445906 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540445900 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540679154 |
| Qualifying information |
(pbk. ; |
| -- |
alk. paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540679158 |
| Qualifying information |
(pbk. ; |
| -- |
alk. paper) |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051345798 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051700392 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058012591 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058162616 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
273301187 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14993689 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15301426 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)619662672 |
| Canceled/invalid control number |
(OCoLC)66722377 |
| -- |
(OCoLC)729903931 |
| -- |
(OCoLC)769771153 |
| -- |
(OCoLC)851820022 |
| -- |
(OCoLC)1005835883 |
| -- |
(OCoLC)1066445940 |
| -- |
(OCoLC)1081182883 |
| -- |
(OCoLC)1105603689 |
| -- |
(OCoLC)1132298679 |
| -- |
(OCoLC)1162787344 |
| -- |
(OCoLC)1238698509 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA90 |
| Item number |
.D53 2000 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYQ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
TJFM1 |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM004000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
Q |
| Source |
lcco |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
006.6 |
| Edition number |
21 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.72 |
| Number source |
bcl |
| 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 |
(1st : |
| Date of meeting |
2000 : |
| Location of meeting |
Edinburgh, Scotland) |
| 9 (RLIN) |
38185 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Theory and application of diagrams : |
| Remainder of title |
First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 2000 : Proceedings / |
| Statement of responsibility, etc. |
Michael Anderson, Peter Cheng, Volker Haarslev, eds. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2000. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xii, 504 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 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
1889. |
| Series statement |
Lecture notes in artificial intelligence |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Serienbezeichnung |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Invited Talks -- Invited Talk: Representations to Mediate Geospatial Collaborative Reasoning: A Cognitive-Semiotic Perspective -- Invited Talk: Jon Barwise: A Heterogeneous Appreciation -- Tutorial 1 -- Formal Approaches to Diagrams -- Tutorial 1: Formal Approaches to Visual Language Specification and Understanding -- Tutorial 2 -- Cognitive Approach to Diagrams -- Tutorial 2a: Cognitive History of Science: The Roles of Diagrammatic Representations in Discovery and Modeling Discovery -- Tutorial 2b: Cognitive (Production System) Modelling of How an Expert Uses a Cartesian Graph -- Tutorial 2c: The Coordination of External Representations and Internal Mental Representations in Display-Based Cognitive Tasks -- Logic and Diagrams -- Positive Semantics of Projections in Venn-Euler Diagrams -- On the Completeness and Expressiveness of Spider Diagram Systems -- Non-standard Logics for Diagram Interpretation -- Reviving the Iconicity of Beta Graphs -- Constraint Matching for Diagram Design: Qualitative Visual Languages -- Picking Knots from Trees -- Theoretical Concerns about Diagrams -- Differentiating Diagrams: A New Approach -- Logical Systems and Formality -- Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems -- Cognition and Diagrams -- How People Extract Information from Graphs: Evidence from a Sentence-Graph Verification Paradigm -- Restricted Focus Viewer: A Tool for Tracking Visual Attention -- Communicating Dynamic Behaviors: Are Interactive Multimedia Presentations Better than Static Mixed-Mode Presentations? -- Capacity Limits in Diagrammatic Reasoning -- Human Communication with Diagrams -- Recording the Future: Some Diagrammatic Aspects of Time Management -- Lines, Blobs, Crosses and Arrows: Diagrammatic Communication with Schematic Figures -- Animated Diagrams: An Investigation into the Cognitive Effects of Using Animation to Illustrate Dynamic Processes -- A Comparison of Graphics and Speech in a Task-Oriented Interaction -- Diagramming Aesthetics: Modernism and Architecture in the 21st Century -- Diagrammatic Reasoning/Proof Systems -- JVenn: A Visual Reasoning System with Diagrams and Sentences -- A Proposal for Automating Diagrammatic Reasoning in Continuous Domains -- Playing with Diagrams -- The Use of Intermediate Graphical Constructions in Problem Solving with Dynamic, Pixel-Level Diagrams -- Diagrams for Systems, Systems for Diagrams -- Treatment of Diagrams in Document Image Analysis -- Universal Arrow Foundations for Visual Modeling -- Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language -- Evaluating the Intelligibility of Diagrammatic Languages Used in the Specification of Software -- Executing Diagram Sequences -- MetaBuilder: The Diagrammer's Diagrammer -- Diagrammatic Control of Diagrammatic Structure Generation -- Two-Dimensional Positioning as Visual Thinking -- Reordering the Reorderable Matrix as an Algorithmic Problem -- Posters -- Clouds: A Module for Automatic Learning of Concept Maps -- A Diagrammatic Notation for Interval Algebra -- Animation of Diagrams: An Aid to Learning? -- Diagrams as Components of Multimedia Discourse: A Semiotic Approach -- Formalising the Essence of Diagrammatic Syntax -- Using Grids in Maps -- Case Analysis in Euclidean Geometry: An Overview -- Bar Charts Recognition Using Hough Based Syntactic Segmentation -- Experimenting with Aesthetics-Based Graph Layout. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the First International Conference on the Theory and Application of Diagrams, Diagrams 2000, held in Edinburgh, Scotland, UK in September 2000. The 31 revised full papers presented together with 9 posters were carefully reviewed and selected from around 100 submissions. The papers are organized in topical sections on logic and diagrams, theoretical concerns about diagrams, human communication with diagrams, diagrammatic reasoning and proof systems, and diagrams for systems versus systems for diagrams. |
| 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 |
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 #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 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Anderson, Michael, |
| Dates associated with a name |
1951- |
| 9 (RLIN) |
38186 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Cheng, Peter, |
| Dates associated with a name |
1963- |
| 9 (RLIN) |
38187 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Haarslev, Volker, |
| Dates associated with a name |
1955- |
| 9 (RLIN) |
38188 |
| 776 0# - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Main entry heading |
Diagrams 2000 (2000 : Edinburgh, Scotland). |
| Title |
Theory and application of diagrams : First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 2000 : Proceedings. |
| Record control number |
(OCoLC)44777257 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
1889. |
| 9 (RLIN) |
932039 |
| 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 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link-springer-com.libraryproxy.ist.ac.at/10.1007/3-540-44590-0">https://link-springer-com.libraryproxy.ist.ac.at/10.1007/3-540-44590-0</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH20754745 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
13350595 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |