Theory and application of diagrams : (Record no. 380525)

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
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     EBook e-Library e-Library 26/06/2020   26/06/2020 26/06/2020 eBook

Powered by Koha