Books on Google Play

google_logo Play

Sign in with Google
Library & devices
Payments & subscriptions
My Play activity
Offers
Play Pass
Personalization in Play
Settings

Privacy Policy • Terms of Service

More by Naoto Jinji

Icon image Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

€54.49€38.14

Google Play

Play Pass

Play Points

Gift cards

Redeem

Refund policy

Children and family

Parent guide

Family sharing

Terms of Service

Privacy

About Google Play

Developers

Google Store

All prices include VAT.