Collected Works Of Larry Wos, The (In 2 Vols), Vol I: Exploring The Power Of Automated Reasoning; Vol Ii: Applying Automated Reasoning To Puzzles, Problems, And Open Questions Ebook (okabook.shop)

$25.00

eText ISBN: 9789812813411

Category: Tag: