Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Editat de Stefan Berghofer et al.
4 aug 2009
Paperback
Preț: 338.65 lei 423.31 lei
6-8 săpt.
-20%
Cărți de Makarius Wenzel
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings
Editat de Johan Jeuring et al.
27 iun 2012
Paperback
Preț: 336.22 lei 420.27 lei
6-8 săpt.
-20%