Diagrammatic representation and inference : (Record no. 382403)

MARC details
000 -LEADER
fixed length control field 10629cam a2201069Ia 4500
001 - CONTROL NUMBER
control field ocn797175640
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220128091619.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 120629s2012 nyua ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions pn
Transcribing agency GW5XE
Modifying agency ZMC
-- C$Q
-- COO
-- OCLCO
-- OCLCQ
-- IAD
-- E7B
-- REB
-- OCLCA
-- OCLCF
-- BEDGE
-- OCLCO
-- YDXCP
-- OCL
-- OCLCO
-- OCLCQ
-- OCLCO
-- EBLCP
-- OCLCQ
-- ESU
-- OCLCQ
-- IOG
-- NJR
-- CEF
-- U3W
-- OCLCA
-- WYU
-- YOU
-- TKN
-- LEAUB
-- OCLCA
-- OCLCQ
-- WURST
-- AJS
-- OCLCQ
-- DCT
-- LUN
019 ## -
-- 1204092369
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642312236
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3642312233
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3642312225
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642312229
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783642312229
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000050022070
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000051576965
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000058159998
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000060389957
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 14542088
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)797175640
Canceled/invalid control number (OCoLC)1204092369
037 ## - SOURCE OF ACQUISITION
Source of stock number/acquisition Springer
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number T385
Item number .D53 2012
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.6
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 (7th :
Date of meeting 2012 :
Location of meeting Canterbury, England)
9 (RLIN) 45633
245 10 - TITLE STATEMENT
Title Diagrammatic representation and inference :
Remainder of title 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings /
Statement of responsibility, etc. Philip Cox, Beryl Plimmer, Peter Rodgers (eds.).
246 30 - VARYING FORM OF TITLE
Title proper/short title Diagrams 2012
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©2012.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xiii, 358 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 1611-3349 ;
Volume/sequential designation 7352.
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
505 00 - FORMATTED CONTENTS NOTE
Title Life on the Line: Interacting with Temporal Event Sequence Representations /
Statement of responsibility Catherine Plaisant --
Title Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning /
Statement of responsibility Dave Barker-Plummer, John Etchemendy, Michael Murray, Emma Pease and Nik Swoboda --
Title 3rd International Workshop on Euler Diagrams /
Statement of responsibility Peter Chapman and Luana Micallef --
Title Technology Enhanced Diagrams Research Workshop /
Statement of responsibility Richard Cox and Jonathan San Diego --
Title Accessible Graphics: Graphics for Vision Impaired People /
Statement of responsibility Cagatay Goncu and Kim Marriott --
Title Graduate Student Symposium of Diagrams 2012 /
Statement of responsibility Lisa A. Best --
Title Automatically Recognizing Intended Messages in Grouped Bar Charts /
Statement of responsibility Richard Burns, Sandra Carberry, Stephanie Elzer and Daniel Chester --
Title Representing Category and Continuum: Visualizing Thought /
Statement of responsibility Barbara Tversky, James E. Corter, Lixiu Yu, David L. Mason and Jeffrey V. Nickerson --
Title Elucidating the Mechanism of Spontaneous Diagram Use in Explanations: How Cognitive Processing of Text and Diagrammatic Representations Are Influenced by Individual and Task-Related Factors /
Statement of responsibility Emmanuel Manalo and Yuri Uesaka --
Title Orthogonal Hyperedge Routing /
Statement of responsibility Michael Wybrow, Kim Marriott and Peter J. Stuckey --
Title Improved Layout for Data Flow Diagrams with Port Constraints /
Statement of responsibility Lars Kristian Klauske, Christoph Daniel Schulze, Miro Spönemann and Reinhard von Hanxleden --
Title Aesthetic Layout of Wiring Diagrams /
Statement of responsibility Christian Ernstbrunner and Josef Pichler --
Title Points, Lines and Arrows in Statistical Graphs /
Statement of responsibility Cengiz Acartürk --
Title Enriching Indented Pixel Tree Plots with Node-Oriented Quantitative, Categorical, Relational, and Time-Series Data /
Statement of responsibility Michael Burch, Michael Raschke, Miriam Greis and Daniel Weiskopf --
Title Interpreting Effect Size Estimates through Graphic Analysis of Raw Data Distributions /
Statement of responsibility Michael T. Bradley, Andrew Brand and A. Luke MacNeill --
Title Psychological Evidence of Mental Segmentation in Table Reading /
Statement of responsibility Takeshi Sugio, Atsushi Shimojima and Yasuhiro Katagiri --
Title Proof-Theoretical Investigation of Venn Diagrams: A Logic Translation and Free Rides /
Statement of responsibility Ryo Takemura --
Title Euler Diagram Encodings /
Statement of responsibility Paolo Bottoni, Gennaro Costagliola and Andrew Fish --
Title Speedith: A Diagrammatic Reasoner for Spider Diagrams /
Statement of responsibility Matej Urbas, Mateja Jamnik, Gem Stapleton and Jean Flower --
Title Algebra Diagrams: A HANDi Introduction /
Statement of responsibility Peter C.-H. Cheng --
Title Boolean Differences between Two Hexagonal Extensions of the Logical Square of Oppositions /
Statement of responsibility Hans Smessaert --
Title An Exploration of Visual Complexity /
Statement of responsibility Helen C. Purchase, Euan Freeman and John Hamer --
Title Diagram Ecologies -- Diagrams as Science and Game Board /
Statement of responsibility Christoph Lueder --
Title Dynamic Diagrams: A Composition Alternative /
Statement of responsibility Richard Lowe and Jean-Michel Boucheix --
Title Diagrammatically-Driven Formal Verification of Web-Services Composition /
Statement of responsibility Petros Papapanagiotou, Jacques Fleuriot and Sean Wilson --
Title The Diagram of Flow: Its Departure from Software Engineering and Its Return /
Statement of responsibility S.J. Morris and O.C.Z. Gotel --
Title DDA\Repository: An Associative, Dynamic and Incremental Repository of Design Diagrams /
Statement of responsibility Bharat Dave and Gwyllim Jahn --
Title Structure, Space and Time: Some Ways That Diagrams Affect Inferences in a Planning Task /
Statement of responsibility David L. Mason, James E. Corter, Barbara Tversky and Jeffrey V. Nickerson --
Title What Can Concept Diagrams Say? /
Statement of responsibility Gem Stapleton, John Howse, Peter Chapman, Ian Oliver and Aidan Delaney --
Title CDEG: Computerized Diagrammatic Euclidean Geometry 2.0 /
Statement of responsibility Nathaniel Miller --
Title Design and Implementation of Multi-camera Systems Distributed over a Spherical Geometry /
Statement of responsibility Hossein Afshari, Kerem Seyid, Alexandre Schmid and Yusuf Leblebici --
Title Algebraic Aspects of Duality Diagrams /
Statement of responsibility Lorenz Demey --
Title The Use of Diagrams in Science /
Statement of responsibility An Examination of Trends in Articles Published in Science between 1880 and 2010 /
-- Lillian P. Fanjoy, A. Luke MacNeill and Lisa A. Best --
Title A User Study on Curved Edges in Graph Visualisation /
Statement of responsibility Kai Xu, Chris Rooney, Peter Passmore and Dong-Han Ham --
Title Truth Diagrams: An Overview /
Statement of responsibility Peter C.-H. Cheng --
Title Are Teachers Aware of Students' Lack of Spontaneity in Diagram Use? Suggestions from a Mathematical Model-Based Analysis of Teachers' Predictions /
Statement of responsibility Yuri Uesaka, Emmanuel Manalo and Masanori Nakagawa --
Title Modelling Delivery Information Flow: A Comparative Analysis of DSMs, DFDs and ICDs /
Statement of responsibility Christopher Durugbo, Ashutosh Tiwari and Jeffrey R. Alcock --
Title Completeness Proofs for Diagrammatic Logics /
Statement of responsibility Jim Burton, Gem Stapleton and John Howse --
Title Modelling Information Flow: Improving Diagrammatic Visualisations /
Statement of responsibility Christopher Durugbo --
Title A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations /
Statement of responsibility Renata de Freitas and Petrucio Viana --
Title Genetic Algorithm for Line Labeling of Diagrams Having Drawing Cues /
Statement of responsibility Alexandra Bonnici and Kenneth Camilleri --
Title A Logical Investigation on Global Reading of Diagrams /
Statement of responsibility Ryo Takemura, Atsushi Shimojima and Yasuhiro Katagiri --
Title Pictures Are Visually Processed; Symbols Are also Recognized /
Statement of responsibility Peter W. Coppin --
Title How Do Viewers Spontaneously Segment Animated Diagrams of Mechanical and Biological Subject Matter? /
Statement of responsibility Jean-Michel Boucheix and Richard Lowe --
Title Which Diagrams and When? /
Statement of responsibility Health Workers' Choice and Usage of Different Diagram Types for Service Improvement /
-- Gyuchan Thomas Jun, Cecily Morrison, Christopher O'Loughlin and P. John Clarkson --
Title Eye Movement Patterns in Solving Scientific Graph Problems /
Statement of responsibility Miao-Hsuan Yen, Chieh-Ning Lee and Yu-Chun Yang --
Title Formalising Simple Codecharts /
Statement of responsibility Jon Nicholson and Aidan Delaney --
Title Notes about the London Underground Map as an Iconic Artifact /
Statement of responsibility Breno Bitarello, Pedro Atã and João Queiroz --
Title The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear Diagrams /
Statement of responsibility Yuri Sato and Koji Mineshima.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and author index.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Online resource; title from PDF title page (SpringerLink, viewed August 8, 2012).
520 8# - SUMMARY, ETC.
Summary, etc. Annotation
Expansion of summary note This book constitutes the refereed proceedings of the 7th International Conference on Theory and Application of Diagrams, Diagrams 2012, held in Canaterbury, UK, in July 2012. The 16 long papers, 6 short papers and 21 poster abstracts presented were carefully reviewed and selected from 83 submissions. The papers are organized in keynotes, tutorial, workshops, graduate student symposium and topical sections on psychological and cognitive issues, diagram layout, diagrams and data analysis, Venn and Euler diagrams, reasoning with diagrams, investigating aesthetics, applications of diagrams.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer graphics
Form subdivision Congresses.
9 (RLIN) 15056
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer simulation
Form subdivision Congresses.
9 (RLIN) 935607
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Graphic methods
Form subdivision Congresses.
9 (RLIN) 16350
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique.
Source of heading or term eclas
9 (RLIN) 14930
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 Computer simulation.
Source of heading or term fast
Authority record control number (OCoLC)fst00872518
9 (RLIN) 2625
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
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Computer science.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Computational complexity.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Artificial intelligence.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Computer graphics.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term User Interfaces and Human Computer Interaction.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Information Systems Applications (incl. Internet)
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Computers and Society.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Discrete Mathematics in Computer Science.
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computerwetenschappen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computer sciences
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term man-machine interaction
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computers
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term gebruikersinterfaces
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term user interfaces
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term wiskunde
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term mathematics
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term informatiesystemen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term information systems
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term internet
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term kunstmatige intelligentie
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term samenleving
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term society
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computergrafie
653 10 - INDEX TERM--UNCONTROLLED
Uncontrolled term Information and Communication Technology (General)
653 10 - INDEX TERM--UNCONTROLLED
Uncontrolled term Informatie- en communicatietechnologie (algemeen)
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 Cox, Philip
Fuller form of name (Phil)
9 (RLIN) 45635
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Plimmer, Beryl.
9 (RLIN) 45636
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Rodgers, Peter.
9 (RLIN) 45637
773 0# - HOST ITEM ENTRY
Title Springer eBooks
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783642312229
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 7352.
International Standard Serial Number 1611-3349
9 (RLIN) 935608
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-642-31223-6">https://link-springer-com.libraryproxy.ist.ac.at/10.1007/978-3-642-31223-6</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL3071061
938 ## -
-- ebrary
-- EBRY
-- ebr10656868
938 ## -
-- YBP Library Services
-- YANK
-- 9242345
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