top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Diagrammatic Representation and Inference [[electronic resource] ] : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings / / edited by Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci
Diagrammatic Representation and Inference [[electronic resource] ] : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings / / edited by Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XVI, 831 p. 379 illus.)
Disciplina 006.6
Collana Lecture Notes in Artificial Intelligence
Soggetto topico User interfaces (Computer systems)
Mathematical logic
Artificial intelligence
Application software
Software engineering
Optical data processing
User Interfaces and Human Computer Interaction
Mathematical Logic and Formal Languages
Artificial Intelligence
Information Systems Applications (incl. Internet)
Software Engineering
Image Processing and Computer Vision
ISBN 3-319-91376-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996466032303316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings / / edited by Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings / / edited by Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XVI, 831 p. 379 illus.)
Disciplina 006.6
Collana Lecture Notes in Artificial Intelligence
Soggetto topico User interfaces (Computer systems)
Mathematical logic
Artificial intelligence
Application software
Software engineering
Optical data processing
User Interfaces and Human Computer Interaction
Mathematical Logic and Formal Languages
Artificial Intelligence
Information Systems Applications (incl. Internet)
Software Engineering
Image Processing and Computer Vision
ISBN 3-319-91376-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910349437403321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Diagrammatic representation and inference : 5th international conference, diagrams 2008, herrsching, germany, september 19-21, 2008, proceedings / / edited by Gem Stapleton, John Howse, John Lee
Diagrammatic representation and inference : 5th international conference, diagrams 2008, herrsching, germany, september 19-21, 2008, proceedings / / edited by Gem Stapleton, John Howse, John Lee
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Germany : , : Springer, , [2008]
Descrizione fisica 1 online resource (XV, 445 p.)
Disciplina 006.6
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Computer graphics
Graphic methods
Visual communication
ISBN 3-540-87730-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote Reflections -- Heterogeneous Reasoning -- Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity -- Model Driven Development with Mechatronic UML -- Tutorials -- Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use -- Getting Started with Sketch Tools -- Diagram Aesthetics and Layout -- General Euler Diagram Generation -- Euler Diagram Decomposition -- Smooth Linear Approximation of Non-overlap Constraints -- Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs -- Psychological and Cognitive Issues -- An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning -- What Diagrams Reveal about Representations in Linear Reasoning, and How They Help -- What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism? -- Visual Thinking with an Interactive Diagram -- Applications of Diagrams -- Strategy Roadmaps: New Forms, New Practices -- VAST Improvements to Diagrammatic Scheduling Using Representational Epistemic Interface Design -- Enhancing State-Space Tree Diagrams for Collaborative Problem Solving -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages -- Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design -- A Normal Form for Euler Diagrams with Shading -- Ensuring Generality in Euclid’s Diagrammatic Arguments -- Depicting Negation in Diagrammatic Logic: Legacy and Prospects -- Diagrams in Education -- Transforming Descriptions and Diagrams to Sketches in Information System Design -- Graphical Revelations: Comparing Students’ Translation Errors in Graphics and Logic -- Learning from Animated Diagrams: How Are Mental Models Built? -- Diagrams for the Masses: Raising Public Awareness – From Neurath to Gapminder and Google Earth -- Understanding and Comprehension -- Detection of Sample Differences from Dot Plot Displays -- Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants -- The Effects of Users’ Background Diagram Knowledge and Task Characteristics upon Information Display Selection -- Multimodal Comprehension of Graphics with Textual Annotations: The Role of Graphical Means Relating Annotations and Graph Lines -- Posters -- Talk to the Hand: An Agenda for Further Research on Tactile Graphics -- Openproof - A Flexible Framework for Heterogeneous Reasoning -- Cognitive and Semantic Perspectives of Token Representation in Diagrams -- Estimating Effort for Trend Messages in Grouped Bar Charts -- Types and Programs from Euler Diagrams -- Diagrams in the UK National School Curriculum -- LePUS3: An Object-Oriented Design Description Language -- Utilizing Feature Diagrams to Assess the Capabilities of Tools That Support the Model Driven Architecture -- Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes -- Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs -- A Concept Mapping Tool for Nursing Education -- Cognitive Methods for Visualizing Space, Time, and Agents -- Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram -- A Strategy for Drawing a Conceptual Neighborhood Diagram Schematically -- Supporting Relational Processing in Complex Animated Diagrams -- Animated Cladograms: Interpreting Evolution from Diagrams -- Automatic Diagram Drawing Based on Natural Language Text Understanding -- Texts and Graphs Elaboration: The Effect of Graphs’ Examination on Recall -- Diagrammatic Logic of Existential Graphs: A Case Study of Commands -- Diagrammatic Reasoning in Separation Logic -- Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms -- The Relationship between Graph Comprehension and Spatial Imagery: Support for an Integrative Theory of Graph Cognition -- Using MusicXML to Evaluate Accuracy of OMR Systems -- Aestheticization of Flowcharts -- Towards Diagrammatic Patterns -- Visualizing Meaning: Literacy Materials for Dyslexic Children -- Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction -- School Curriculum Development to Promote Student Spontaneous Diagram Use in Problem Solving.
Altri titoli varianti Diagrams 2008
Record Nr. UNINA-9910481964903321
Berlin, Germany : , : Springer, , [2008]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Diagrammatic representation and inference : 5th international conference, diagrams 2008, herrsching, germany, september 19-21, 2008, proceedings / / edited by Gem Stapleton, John Howse, John Lee
Diagrammatic representation and inference : 5th international conference, diagrams 2008, herrsching, germany, september 19-21, 2008, proceedings / / edited by Gem Stapleton, John Howse, John Lee
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Germany : , : Springer, , [2008]
Descrizione fisica 1 online resource (XV, 445 p.)
Disciplina 006.6
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Computer graphics
Graphic methods
Visual communication
ISBN 3-540-87730-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote Reflections -- Heterogeneous Reasoning -- Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity -- Model Driven Development with Mechatronic UML -- Tutorials -- Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use -- Getting Started with Sketch Tools -- Diagram Aesthetics and Layout -- General Euler Diagram Generation -- Euler Diagram Decomposition -- Smooth Linear Approximation of Non-overlap Constraints -- Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs -- Psychological and Cognitive Issues -- An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning -- What Diagrams Reveal about Representations in Linear Reasoning, and How They Help -- What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism? -- Visual Thinking with an Interactive Diagram -- Applications of Diagrams -- Strategy Roadmaps: New Forms, New Practices -- VAST Improvements to Diagrammatic Scheduling Using Representational Epistemic Interface Design -- Enhancing State-Space Tree Diagrams for Collaborative Problem Solving -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages -- Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design -- A Normal Form for Euler Diagrams with Shading -- Ensuring Generality in Euclid’s Diagrammatic Arguments -- Depicting Negation in Diagrammatic Logic: Legacy and Prospects -- Diagrams in Education -- Transforming Descriptions and Diagrams to Sketches in Information System Design -- Graphical Revelations: Comparing Students’ Translation Errors in Graphics and Logic -- Learning from Animated Diagrams: How Are Mental Models Built? -- Diagrams for the Masses: Raising Public Awareness – From Neurath to Gapminder and Google Earth -- Understanding and Comprehension -- Detection of Sample Differences from Dot Plot Displays -- Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants -- The Effects of Users’ Background Diagram Knowledge and Task Characteristics upon Information Display Selection -- Multimodal Comprehension of Graphics with Textual Annotations: The Role of Graphical Means Relating Annotations and Graph Lines -- Posters -- Talk to the Hand: An Agenda for Further Research on Tactile Graphics -- Openproof - A Flexible Framework for Heterogeneous Reasoning -- Cognitive and Semantic Perspectives of Token Representation in Diagrams -- Estimating Effort for Trend Messages in Grouped Bar Charts -- Types and Programs from Euler Diagrams -- Diagrams in the UK National School Curriculum -- LePUS3: An Object-Oriented Design Description Language -- Utilizing Feature Diagrams to Assess the Capabilities of Tools That Support the Model Driven Architecture -- Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes -- Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs -- A Concept Mapping Tool for Nursing Education -- Cognitive Methods for Visualizing Space, Time, and Agents -- Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram -- A Strategy for Drawing a Conceptual Neighborhood Diagram Schematically -- Supporting Relational Processing in Complex Animated Diagrams -- Animated Cladograms: Interpreting Evolution from Diagrams -- Automatic Diagram Drawing Based on Natural Language Text Understanding -- Texts and Graphs Elaboration: The Effect of Graphs’ Examination on Recall -- Diagrammatic Logic of Existential Graphs: A Case Study of Commands -- Diagrammatic Reasoning in Separation Logic -- Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms -- The Relationship between Graph Comprehension and Spatial Imagery: Support for an Integrative Theory of Graph Cognition -- Using MusicXML to Evaluate Accuracy of OMR Systems -- Aestheticization of Flowcharts -- Towards Diagrammatic Patterns -- Visualizing Meaning: Literacy Materials for Dyslexic Children -- Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction -- School Curriculum Development to Promote Student Spontaneous Diagram Use in Problem Solving.
Altri titoli varianti Diagrams 2008
Record Nr. UNISA-996466115203316
Berlin, Germany : , : Springer, , [2008]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (VII, 139 p.)
Disciplina 006.332
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Mathematical logic
Application software
Information storage and retrieval
Computer communication systems
Mathematical statistics
Artificial Intelligence
Mathematical Logic and Formal Languages
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Computer Communication Networks
Probability and Statistics in Computer Science
ISBN 3-319-78102-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Exploring, Reasoning With and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs -- Subjective Bayesian Networks and Human-in-the-Loop Situational Understanding -- Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm -- Representing and Reasoning about Logical Network Topologies -- From Enterprise Concepts to Formal Concepts: A University Case Study -- Visualizing ALC Using Concept Diagrams -- Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results.
Record Nr. UNISA-996465485403316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Graph Structures for Knowledge Representation and Reasoning : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
Graph Structures for Knowledge Representation and Reasoning : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (VII, 139 p.)
Disciplina 006.332
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Mathematical logic
Application software
Information storage and retrieval
Computer communication systems
Mathematical statistics
Artificial Intelligence
Mathematical Logic and Formal Languages
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Computer Communication Networks
Probability and Statistics in Computer Science
ISBN 3-319-78102-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Exploring, Reasoning With and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs -- Subjective Bayesian Networks and Human-in-the-Loop Situational Understanding -- Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm -- Representing and Reasoning about Logical Network Topologies -- From Enterprise Concepts to Formal Concepts: A University Case Study -- Visualizing ALC Using Concept Diagrams -- Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results.
Record Nr. UNINA-9910349425703321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (VII, 155 p. 48 illus. in color.)
Disciplina 006.332
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Mathematical logic
Application software
Information storage and retrieval
Computer communication systems
Mathematical statistics
Artificial Intelligence
Mathematical Logic and Formal Languages
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Computer Communication Networks
Probability and Statistics in Computer Science
ISBN 3-319-28702-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Designing a Knowledge Representation Tool for Subject Matter Structuring -- Aligning Experientially Grounded Ontologies using Language Games -- An overview of argumentation frameworks for decision support -- Learning Optimal Bayesian Networks with DAG Graphs -- Combinatorial results on directed hypergraphs for the SAT problem -- Conceptual Graphs for Formally Managing and Discovering Complementary Competences -- Subjective Networks: Perspectives and Challenges -- RDF-SQ: Mixing Parallel and Sequential Computation For Top-down OWL RL Inference -- Bring User Interest to Related Entity Recommendation.
Record Nr. UNISA-996466362203316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Graph Structures for Knowledge Representation and Reasoning : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
Graph Structures for Knowledge Representation and Reasoning : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (VII, 155 p. 48 illus. in color.)
Disciplina 006.332
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Mathematical logic
Application software
Information storage and retrieval
Computer communication systems
Mathematical statistics
Artificial Intelligence
Mathematical Logic and Formal Languages
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Computer Communication Networks
Probability and Statistics in Computer Science
ISBN 3-319-28702-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Designing a Knowledge Representation Tool for Subject Matter Structuring -- Aligning Experientially Grounded Ontologies using Language Games -- An overview of argumentation frameworks for decision support -- Learning Optimal Bayesian Networks with DAG Graphs -- Combinatorial results on directed hypergraphs for the SAT problem -- Conceptual Graphs for Formally Managing and Discovering Complementary Competences -- Subjective Networks: Perspectives and Challenges -- RDF-SQ: Mixing Parallel and Sequential Computation For Top-down OWL RL Inference -- Bring User Interest to Related Entity Recommendation.
Record Nr. UNINA-9910484077503321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Graph-Based Representation and Reasoning [[electronic resource] ] : 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings / / edited by Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker
Graph-Based Representation and Reasoning [[electronic resource] ] : 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings / / edited by Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (X, 261 p. 96 illus.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Computer science—Mathematics
Database management
Information storage and retrieval
Algorithms
Artificial Intelligence
Discrete Mathematics in Computer Science
Database Management
Information Storage and Retrieval
Algorithm Analysis and Problem Complexity
ISBN 3-319-40985-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Time representation -- Graphs and networks -- Formal concept analysis -- Ontologies and linked data.
Record Nr. UNISA-996466003903316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Graph-Based Representation and Reasoning : 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings / / edited by Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker
Graph-Based Representation and Reasoning : 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings / / edited by Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (X, 261 p. 96 illus.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Computer science—Mathematics
Database management
Information storage and retrieval
Algorithms
Artificial Intelligence
Discrete Mathematics in Computer Science
Database Management
Information Storage and Retrieval
Algorithm Analysis and Problem Complexity
ISBN 3-319-40985-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Time representation -- Graphs and networks -- Formal concept analysis -- Ontologies and linked data.
Record Nr. UNINA-9910484908803321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui