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 QuestionsPublisher: World Scientific Publishing Year: 21/01/2000 ISBN: 9789812813411 Publication form: eBook: Fixed Page eTextbook (PDF)
|
2 330.97 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Fascinating Country In The World Of Computing, A: Your Guide To Automated ReasoningPublisher: World Scientific Publishing Year: 30/11/1999 ISBN: 9789812817952 Publication form: eBook: Fixed Page eTextbook (PDF)
|
1 201.13 PLN
Product available online
Delivery on-line
Add to bookshelf
|