A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-27818-4_16
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Agent-Based Control System as a Tool Towards Industry 4.0: Directed Communication Graph Approach

2019English

Towards Predicting Academic Impact From Mainstream News and Weblogs: A Heterogeneous Graph Based Approach

2016English

The Conjugate Formal Product of a Graph

Applicable Analysis and Discrete Mathematics
CombinatoricsApplied MathematicsAnalysisDiscrete Mathematics
2007English

A Library of NTT Musashino R&D Center and Its Approach to Digital Library.

Journal of Information Processing and Management
1998English

Graph Access Pattern Diagrams (GAP-D): Towards a Unified Approach for Modeling Navigation Over Hierarchical, Linear and Networked Structures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Graph-Based Approach to Key Variable Mapping

Journal of Privacy and Confidentiality
2014English

Leadership for Digital Working: Towards a Contextual Ambidextrous Approach

2020English

Towards a Formal Theory of Computability

English

Towards an Integrated Digital Library: Exploration of User Responses to a ‘Joined-Up’ Service

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy