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

Set Theory for Computing

Overview of attention for book
Cover of 'Set Theory for Computing'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 What Is Computable Set Theory?
  3. Altmetric Badge
    Chapter 2 Logical Background
  4. Altmetric Badge
    Chapter 3 Axiomatic Views of Aggregates
  5. Altmetric Badge
    Chapter 4 Semantic Views of Aggregates
  6. Altmetric Badge
    Chapter 5 Sets for Problem Solving
  7. Altmetric Badge
    Chapter 6 Decision Problems and Some Solutions
  8. Altmetric Badge
    Chapter 7 Inference Techniques and Methods
  9. Altmetric Badge
    Chapter 8 Set/Hyperset Unification Algorithms
  10. Altmetric Badge
    Chapter 9 (*) A Syllogistic Solitaire
  11. Altmetric Badge
    Chapter 10 Stratified Syllogistics
  12. Altmetric Badge
    Chapter 11 Quantitative Set Reasoning
  13. Altmetric Badge
    Chapter 12 Set Theory for Nonclassic Logics
  14. Altmetric Badge
    Chapter 13 Logic Programming with Sets
  15. Altmetric Badge
    Chapter 14 Syllogistic Tableaux
Attention for Chapter 7: Inference Techniques and Methods
Altmetric Badge

Citations

dimensions_citation
79 Dimensions
Summary Dimensions citations
So far, Dimensions has found 79 publications that cite this research output.

79

The most recent citing publications are shown below. View all 79 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.