Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Editat de Lennart Beringer et al.
6 iul 2012
Paperback
Preț: 321.35 lei 401.69 lei
6-8 săpt.
-20%
Cărți de Amy Felty
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
Editat de Elsa L. Gunter et al.
6 aug 1997
Paperback
Preț: 317.77 lei 397.22 lei
6-8 săpt.
-20%