Games
Apps
Movies & TV
Books
Kids
google_logo Play
Games
Apps
Movies & TV
Books
Kids
none
search
help_outline
Sign in with Google
play_apps
Library & devices
payment
Payments & subscriptions
reviews
My Play activity
redeem
Offers
Play Pass
settings
Settings
Privacy Policy
•
Terms of Service
Games
Apps
Movies & TV
Books
Kids
Ebooks
Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
$31.50
$27.40
Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
$17.50
$15.22
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
$15.75
$13.70
Prêmio Ágora: coletânea de artigos FIVJ – 2023
$5.99