Diagrammatic representation and inference : (Record no. 376438)

MARC details
000 -LEADER
fixed length control field 10054cam a22011174a 4500
001 - CONTROL NUMBER
control field ocm59552449
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20211230131403.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 050425s2004 gw a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency N$T
Language of cataloging eng
Description conventions pn
Transcribing agency N$T
Modifying agency OCL
-- OCLCQ
-- YDXCP
-- OCLCQ
-- QCL
-- CAI
-- IDEBK
-- OCLCQ
-- YNG
-- OCLCQ
-- DKDLA
-- OCLCA
-- OCLCQ
-- OCLCO
-- OCLCQ
-- VT2
-- UV0
-- GW5XE
-- OCLCA
-- OCLCF
-- OCLCQ
-- OCLCO
-- UKMGB
-- OCLCQ
-- OCL
-- OCLCO
-- OCLCQ
-- SHS
-- OCLCQ
-- UAB
-- OCLCQ
-- BUF
-- CEF
-- OCLCQ
-- OCLCA
-- WYU
-- OCLCO
-- LEAUB
-- ESU
-- AU@
-- OCLCA
-- OL$
-- OCLCQ
-- AUD
-- OCLCQ
-- OCL
-- OCLCA
-- EUX
-- OCLCQ
-- UKAHL
-- OCLCO
066 ## - CHARACTER SETS PRESENT
Alternate G0 or G1 character set $1
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBA474272
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 006669273
Source Uk
019 ## -
-- 166469739
-- 276945074
-- 648153927
-- 666951088
-- 768063086
-- 858865737
-- 1005798285
-- 1066491786
-- 1081189494
-- 1105591763
-- 1132298407
-- 1238763582
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540259317
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540259312
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 354021268X
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783540212683
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/b95854
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000051321969
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 14990781
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15296766
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)59552449
Canceled/invalid control number (OCoLC)166469739
-- (OCoLC)276945074
-- (OCoLC)648153927
-- (OCoLC)666951088
-- (OCoLC)768063086
-- (OCoLC)858865737
-- (OCoLC)1005798285
-- (OCoLC)1066491786
-- (OCoLC)1081189494
-- (OCoLC)1105591763
-- (OCoLC)1132298407
-- (OCoLC)1238763582
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA90
Item number .D53 2004eb
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 012050
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code PHO
Subject category code subdivision 024000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code TEC
Subject category code subdivision 015000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 087020
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UY
Source bicssc
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.6
Edition number 22
084 ## - OTHER CLASSIFICATION NUMBER
Classification number SS 4800
Number source rvk
084 ## - OTHER CLASSIFICATION NUMBER
Classification number DAT 758f
Number source stub
084 ## - OTHER CLASSIFICATION NUMBER
Classification number DAT 703f
Number source stub
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 (3rd :
Date of meeting 2004 :
Location of meeting Cambridge, England)
9 (RLIN) 19445
245 10 - TITLE STATEMENT
Title Diagrammatic representation and inference :
Remainder of title third international conference, Diagrams 2004 Cambridge, UK, March 22-24, 2004 : proceedings /
Statement of responsibility, etc. Alan Blackwell, Kim Marriott, Atsushi Shimojima (eds.).
246 30 - VARYING FORM OF TITLE
Title proper/short title Diagrams 2004
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©2004.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xv, 448 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
Encoding format PDF
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 2980.
Series statement Lecture notes in artificial intelligence
490 ## - SERIES STATEMENT
Series statement Serienbezeichnung
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
520 ## - SUMMARY, ETC.
Summary, etc. This book constitutes the refereed proceedings of the Third International Conference, Diagrams 2004, held in Cambridge, UK, in March 2004. The 18 revised full papers and 42 revised poster papers presented together with a survey article and the abstracts of 2 posters were carefully reviewed and selected from a total of 91 submissions. The papers are organized in topical sections on fundamental issues, logical aspects of diagrammatic representation and reasoning, computational aspects of diagrammatic representation and reasoning, cognitive aspects of diagrammatic representation and reasoning, visualizing information with diagrams, diagrams in human-computer interaction, and diagrams in software engineering.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Diagrams in the Mind and in the World: Relations between Internal and External Visualizations -- Can Diagrams Have Epistemic Value? The Case of Euclid -- Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations -- On Frege's Logical Diagrams -- Psychological Foundations for Concept Modeling -- On Differences between the Real and Physical Plane -- Query Graphs with Cuts: Mathematical Foundations -- Towards a Default Reading for Constraint Diagrams -- Drawing Graphs in Euler Diagrams -- Diagrams and Non-monotonicity in Puzzles -- Peirce's Diagrammatic Logic in IF Perspective -- What Can Spider Diagrams Say? -- Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets -- On Extending Venn Diagram by Augmenting Names of Individuals -- Reasoning with Projected Contours -- An Architecture for Problem Solving with Diagrams -- Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams -- Automated Model Transformation and Its Validation Using AToM3 and AGG -- Inter-diagrammatic Reasoning and Digital Geometry -- A Prototype Inference Engine for Rule-Based Geometric Reasoning -- Automatic Proofs for Scalecharts -- Diagram Schemas: What, Why, How -- Roles of Diagrammatic Information for the Discovery of Geometrical Theorems -- Interpreting Imprecise Diagrams -- Why Diagrams Are (Sometimes) Six Times Easier than Words: Benefits beyond Locational Indexing -- Incorporating Perceptual Task Effort into the Recognition of Intention in Information Graphics -- Individual Differences in Graphical Reasoning -- Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction -- Predictors of Success in Diagrammatic Problem Solving -- Speech and Graphical Interaction in Multimodal Communication -- Generating New Research Hypotheses from a Result Diagram of Qualitative Research -- Interpreting Lines in Graphs: Do Graph Users Construe Fictive Motion? -- Learning with Diagrams: Effects on Inferences and the Integration of Information -- Making TRACS: The Diagrammatic Design of a Double-Sided Deck -- A Cognitive Processing Perspective on Student Programmers' 'Graphicacy' -- Using Graphics to Communicate Across Cultures -- The Effect of Knowledge-of-External-Representations upon Performance and Representational Choice in a Database Query Task -- User-Controllable Animated Diagrams: The Solution for Learning Dynamic Content? -- Processing Animation: Integrating Information from Animated Diagrams -- A Training Program to be Perceptually Sensitive and Conceptually Productive through Meta-cognition: A Case Study -- Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour? -- Spatial Transformations in Graph Comprehension -- Constructing Diagrams Representing Group Motions -- Bar-Gain Boxes: An Informative Illustration of the Pairing Problem -- Bayesian Boxes: A Colored Calculator for Picturing Posteriors -- Representing Rosters: Conceptual Integration Counteracts Visual Complexity -- Visualization Techniques for Product Change and Product Modelling in Complex Design -- Geographic Projection of Cluster Composites -- Decision Diagrams in Machine Learning: An Empirical Study on Real-Life Credit-Risk Data -- Feature Diagrams in Phonology -- Using Color Component Overlays for Result Visualization in a Classification by Sketch System -- Teaching Children Brackets by Manipulating Trees: Is Easier Harder? -- Cider: A Component-Based Toolkit for Creating Smart Diagram Environments -- Diagrammatic Spreadsheet: An Overview -- Perceptual Support of Diagram Creation and Editing -- ScanScribe: Perceptually Supported Diagram Image Editing -- An Experimental Comparison of Diagrammatic and Algebraic Logics -- Automatic Generation of the Behavior Definition of Distributed Design Tools from Task Method Diagrams and Method Flux Diagrams by Diagram Composition -- Selected Aspects of Customization of Cognitive Dimensions for Evaluation of Visual Modeling Languages -- Notations for Software Engineering Class Structures.
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 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer Applications.
Authority record control number http://scigraph.springernature.com/things/product-market-codes/I23001
9 (RLIN) 19452
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer Science, general.
Authority record control number http://scigraph.springernature.com/things/product-market-codes/I00001
9 (RLIN) 19453
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Communication visuelle
Form subdivision Congrès.
9 (RLIN) 19446
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Infographie
Form subdivision Congrès.
9 (RLIN) 19090
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Méthodes graphiques
Form subdivision Congrès.
9 (RLIN) 16352
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Image Processing.
Source of heading or term bisacsh
9 (RLIN) 18067
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element PHOTOGRAPHY
General subdivision Techniques
-- Digital.
Source of heading or term bisacsh
9 (RLIN) 18068
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element TECHNOLOGY & ENGINEERING
General subdivision Imaging Systems.
Source of heading or term bisacsh
9 (RLIN) 18069
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Digital Media
-- Graphics Applications.
Source of heading or term bisacsh
9 (RLIN) 18070
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
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Diagramm
Source of heading or term gnd
9 (RLIN) 2925
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Diagrammatisches Schließen
Source of heading or term gnd
9 (RLIN) 16355
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Wissensrepräsentation
Source of heading or term gnd
9 (RLIN) 16356
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Méthode graphique.
Source of heading or term rasuqam
9 (RLIN) 19447
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Communication visuelle.
Source of heading or term rasuqam
9 (RLIN) 19448
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Infographie.
Source of heading or term rasuqam
9 (RLIN) 19094
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Représentation graphique.
Source of heading or term rasuqam
9 (RLIN) 19449
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Raisonnement diagrammatique.
Source of heading or term rasuqam
9 (RLIN) 19450
651 #7 - SUBJECT ADDED ENTRY--GEOGRAPHIC NAME
Geographic name Cambridge (2004)
Source of heading or term swd
9 (RLIN) 19451
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term diagramatic representation
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term diagrams
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term inference
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 Kongress.
Source of term swd
9 (RLIN) 2843
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Blackwell, Alan F.
9 (RLIN) 19454
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Marriott, Kim.
9 (RLIN) 19455
700 1# - ADDED ENTRY--PERSONAL NAME
Linkage 880-01
Personal name Shimojima, Atsushi,
Dates associated with a name 1962-
9 (RLIN) 19456
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading Diagrams 2004 (2004 : Cambridge, England).
Title Diagrammatic representation and inference.
Place, publisher, and date of publication Berlin ; New York : Springer, ©2004
International Standard Book Number 354021268X
Record control number (DLC) 2004045318
-- (OCoLC)54543960
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 2980.
9 (RLIN) 924721
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/b95854">https://link-springer-com.libraryproxy.ist.ac.at/10.1007/b95854</a>
880 1# - ALTERNATE GRAPHIC REPRESENTATION
Linkage 700-01/$1
a 下島, 篤,
d (1962- )
938 ## -
-- Askews and Holts Library Services
-- ASKH
-- AH20750075
938 ## -
-- EBSCOhost
-- EBSC
-- 129861
938 ## -
-- ProQuest MyiLibrary Digital eBook Collection
-- IDEB
-- 30801
938 ## -
-- YBP Library Services
-- YANK
-- 2362136
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