LEADER 01006nam0-2200325---450- 001 990009316700403321 005 20110208101506.0 010 $a978-88-598-0476-5 035 $a000931670 035 $aFED01000931670 035 $a(Aleph)000931670FED01 035 $a000931670 100 $a20110208d2010----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $a<>estinzione dell'obbligazione senza adempimento$fa cura di Mauro Paladini 210 $aTorino$cUTET$dİ2010 215 $aXXIV, 463 p.$d24 cm 225 1 $aNuova giurisprudenza di diritto civile e commerciale 300 $aSulla copertina: Diritto delle obbligazioni, diretto da U. Breccia 676 $a346.450 22$v21$zita 702 1$aPaladini,$bMauro 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009316700403321 952 $aVIII Z 402 (2)$b53789*$fFGBC 959 $aFGBC 996 $aEstinzione dell'obbligazione senza adempimento$9771568 997 $aUNINA LEADER 01039nam 2200361 n 450 001 9910131667203321 005 20200421130100.0 010 $a88-596-0874-0 035 $a(CKB)3460000000087654 035 $a(ItFiC)it 02461453 035 $a(SSID)ssj0000813922 035 $a(PQKBManifestationID)12362967 035 $a(PQKBTitleCode)TC0000813922 035 $a(PQKBWorkID)10787706 035 $a(PQKB)10954053 035 $a(EXLCZ)993460000000087654 100 $a20110406d2010 uy e 101 0 $aita 181 $ctxt 182 $cc 183 $acr 200 00$aSigfrido Bartolini $efra luoghi e tempo la parola e l?immagine /$fintroduzione di Franco Cardini 210 $a[Firenze] $cPolistampa$d2010 215 $aP. 1-256 300 $aBibliographic Level Mode of Issuance: Monograph 517 $aSigfrido Bartolini 676 $a759 701 $aCardini$b Franco$037956 801 0$bItFiC 906 $aBOOK 912 $a9910131667203321 996 $aSigfrido Bartolini$92437911 997 $aUNINA LEADER 06239nam 22008415 450 001 996198259803316 005 20200629203553.0 010 $a3-662-44043-1 024 7 $a10.1007/978-3-662-44043-8 035 $a(CKB)3710000000219527 035 $a(SSID)ssj0001296393 035 $a(PQKBManifestationID)11893193 035 $a(PQKBTitleCode)TC0001296393 035 $a(PQKBWorkID)11347978 035 $a(PQKB)11761425 035 $a(DE-He213)978-3-662-44043-8 035 $a(MiAaPQ)EBC6287381 035 $a(MiAaPQ)EBC5594505 035 $a(Au-PeEL)EBL5594505 035 $a(OCoLC)885326811 035 $a(PPN)179925636 035 $a(EXLCZ)993710000000219527 100 $a20140723d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDiagrammatic Representation and Inference$b[electronic resource] $e8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, Proceedings /$fedited by Tim Dwyer, Helen Purchase, Aidan Delaney 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (XVIII, 311 p. 107 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v8578 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-662-44042-3 327 $aOctilinear Force-Directed Layout with Mental Map Preservation for Schematic Diagrams -- Counting Crossings for Layered Hypergraphs -- Evolutionary Meta Layout of Graphs -- Seeing Around Corners: Fast Orthogonal Connector Routing -- Tennis Plots: Game, Set, and Match -- Coloured Modelling Spider Diagrams -- Graphical Representations of Context-Free Languages -- An Example Hyper Venn Proof -- Visualizing Concepts with Euler Diagrams -- Argument Mapping for Mathematics in Proof scape -- Towards a General Diagrammatic Literacy: An Approach to Thinking Critically about Diagrams -- Item Differential in Computer Based and Paper Based Versions of a High Stakes Tertiary Entrance Test: Diagrams and the Problem of Annotation -- Students? Spontaneous Use of Diagrams in Written Communication Understanding Variations According to Purpose and Cognitive Cost Entailed -- How Communicative Learning Situations Influence Students? Use of Diagrams: Focusing on Spontaneous Diagram Construction and Protocols during Explanation -- Evaluating the Impact of Clutter in Euler Diagrams -- The Impact of Shape on the Perception of Euler Diagrams -- Alternative Strategies in Processing 3D Objects Diagrams: Static, Animated and Interactive Presentation of a Mental Rotation Test in an Eye Movements Cued Retrospective Study -- Visualizing Sets: An Empirical Comparison of Diagram Types -- Recognising, Knowing and Naming: Can Object Picture Processing Models Accommodate Non-Picture Visuals? -- Exploring the Effects of Colouring Graph Diagrams on People of Various Backgrounds -- An Empirical Study of Diagrammatic Inference Process by Recording the Moving Operation of Diagrams -- Neural Mechanisms of Global Reading -- The Relationship between Aristotelian and Hasse Diagrams -- A Graphical Representation of Boolean Logic -- The Barwise-Seligman Model of Representation Systems: A Philosophical Explication -- Logical and Geometrical Complementarities between Aristotelian Diagrams -- Logical Investigation of Reasoning with Tables -- A Framework for Heterogeneous Reasoning in Formal and Informal Domains -- The Second Venn Diagrammatic System -- Diagrammatically Explaining Peircean Abduction. 330 $aThis book constitutes the refereed proceedings of the 8th International Conference on the Theory and Application of Diagrams, Diagrams 2014, held in Melbourne, VIC, Australia in July/August 2014. The 15 revised full papers and 9 short papers presented together with 6 posters were carefully reviewed and selected from 40 submissions. The papers have been organized in the following topical sections: diagram layout, diagram notations, diagramming tools, diagrams in education, empirical studies and logic and diagrams. 410 0$aLecture Notes in Artificial Intelligence ;$v8578 606 $aUser interfaces (Computer systems) 606 $aApplication software 606 $aComputer graphics 606 $aComputers and civilization 606 $aArtificial intelligence 606 $aComputer science?Mathematics 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aComputer Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22013 606 $aComputers and Society$3https://scigraph.springernature.com/ontologies/product-market-codes/I24040 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 615 0$aUser interfaces (Computer systems). 615 0$aApplication software. 615 0$aComputer graphics. 615 0$aComputers and civilization. 615 0$aArtificial intelligence. 615 0$aComputer science?Mathematics. 615 14$aUser Interfaces and Human Computer Interaction. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aComputer Graphics. 615 24$aComputers and Society. 615 24$aArtificial Intelligence. 615 24$aDiscrete Mathematics in Computer Science. 676 $a006.6 702 $aDwyer$b Tim$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPurchase$b Helen$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDelaney$b Aidan$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996198259803316 996 $aDiagrammatic Representation and Inference$9772658 997 $aUNISA