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

Automated Deduction – CADE 29

Overview of attention for book
Automated Deduction – CADE 29
Springer Nature

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 2 Superposition with Delayed Unification
  3. Altmetric Badge
    Chapter 11 SAT-Based Subsumption Resolution
  4. Altmetric Badge
    Chapter 18 Program Synthesis in Saturation
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 X users
reddit
1 Redditor

Citations

dimensions_citation
1 Dimensions
Summary X Reddit Dimensions citations
So far, Altmetric has seen 1 Reddit thread.

This page shows the most recent Reddit threads that mention this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.