![Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings](https://i0.books-express.ro/bt/9783540710653/theorem-proving-in-higher-order-logics.jpg)
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
Editat de Otmane Ait Mohamed et al.
30 iul 2008
Paperback
Preț: 335.36 lei 419.20 lei
6-8 săpt.
-20%