Games
Apps
Movies & TV
Books
Children
google_logo Play
Games
Apps
Movies & TV
Books
Children
none
search
help_outline
Sign in with Google
play_apps
Library & devices
payment
Payments and subscriptions
reviews
My Play activity
redeem
Offers
Play Pass
settings
Settings
Privacy Policy
•
Terms of service
Games
Apps
Movies & TV
Books
Children
Ebooks
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
$19.25
$16.75