430 followers
I just bought: 'Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer... via @amazon https://t.co/h1iq9tComm
I just bought: 'Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer... via @amazon https://t.co/h1iq9tComm