SearchResultsPaper

Research indexBook chapter

Appendix A. Proof Techniques

Miller

Princeton University Press eBooks10 May 2017

NobleIDark:/48914/w1/20260525/10C11058DOI10.1515/9781400885381-028

Book chapter

Appendix A. Proof Techniques

Miller · Princeton University Press eBooks · 2017 · Subscription

NobleIDark:/48914/w1/20260525/10C11058DOI10.1515/9781400885381-028

Paywalled

The full text is at the publisher

Open it at the publisher to read it.

Read at the publisher

Discussion

Topics

Appendix Computer science

More

Suggest a correction or report