↓ Skip to main content

Theorem Proving in Higher Order Logics

Overview of attention for book
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 tweeter

Citations

dimensions_citation
1 Dimensions