↓ Skip to main content
What is this page? Embed badge

Computer and Information Science 2012

Overview of attention for book
Cover of 'Computer and Information Science 2012'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Generating Class Models Using Binary Space Partition Algorithm
  3. Altmetric Badge
    Chapter 2 Distributed Store for Ontology Data Management
  4. Altmetric Badge
    Chapter 3 DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-)Modelling Environment
  5. Altmetric Badge
    Chapter 4 Belief Revision for Intelligent Web Service Recommendation
  6. Altmetric Badge
    Chapter 5 Single Character Frequency-Based Exclusive Signature Matching Scheme
  7. Altmetric Badge
    Chapter 6 Data Prefetching for Scientific Workflow Based on Hadoop
  8. Altmetric Badge
    Chapter 7 An NMF-Based Method for the Fingerprint Orientation Field Estimation
  9. Altmetric Badge
    Chapter 8 Symbolic Production Grammars in LSCs Testing
  10. Altmetric Badge
    Chapter 9 On the Need of New Approaches for the Novel Problem of Long-Term Prediction over Multi-dimensional Data
  11. Altmetric Badge
    Chapter 10 Mining Patterns from Large Star Schemas Based on Streaming Algorithms
  12. Altmetric Badge
    Chapter 11 Frameworks for the Effective Information Exchange on Mobile Devices
  13. Altmetric Badge
    Chapter 12 A Optimal Scheduling Strategy for Data-Driven Peer-to-Peer Streaming
  14. Altmetric Badge
    Chapter 13 IDES: Self-adaptive Software with Online Policy Evolution Extended from Rainbow
  15. Altmetric Badge
    Chapter 14 Visualization of Logical Structure in Mathematical Proofs for Learners
  16. Altmetric Badge
    Chapter 15 Incremental Update of Fuzzy Rule-Based Classifiers for Dynamic Problems
Attention for Chapter 14: Visualization of Logical Structure in Mathematical Proofs for Learners
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Visualization of Logical Structure in Mathematical Proofs for Learners
Chapter number 14
Book title
Computer and Information Science 2012
Published by
Springer, Berlin, Heidelberg, January 2012
DOI 10.1007/978-3-642-30454-5_14
Book ISBNs
978-3-64-230453-8, 978-3-64-230454-5
Authors

Takayuki Watabe, Yoshinori Miyazaki

View on publisher site

This page is provided by Altmetric.