Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
 | paperback Categorie: Matematici aplicate Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Preţ normal carte: Reducere: -31 % Preţul cărţii noastre: 56.38 EUR (Preţ reactualizat 23.09.2024) Livrare gratuită în România Mai mult Comentariile cititorului şi recenziile cărţilor: Amazon |