Thierry Bouche
AuthID: R-00F-T2Q
1
TÃTULO: Project EuDML-A First Year Demonstration
AUTORES: Jose Borbinha ; Thierry Bouche; Aleksander Nowinski; Petr Sojka;
PUBLICAÇÃO: 2011, FONTE: 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2011)/10th International Conference on Mathematical Knowledge Management (MKM 2011) in INTELLIGENT COMPUTER MATHEMATICS, MKM 2011, VOLUME: 6824
AUTORES: Jose Borbinha ; Thierry Bouche; Aleksander Nowinski; Petr Sojka;
PUBLICAÇÃO: 2011, FONTE: 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2011)/10th International Conference on Mathematical Knowledge Management (MKM 2011) in INTELLIGENT COMPUTER MATHEMATICS, MKM 2011, VOLUME: 6824
2
TÃTULO: EuDML-Towards the European Digital Mathematics Library Architecture and Design
AUTORES: Wojtek Sylwestrzak; Jose Borbinha; Thierry Bouche; Aleksander Nowinski; Petr Sojka;
PUBLICAÇÃO: 2010, FONTE: Conference on Towards a Digital Mathematics Library (DML) in DML 2010 - TOWARDS A DIGITAL MATHEMATICS LIBRARY
AUTORES: Wojtek Sylwestrzak; Jose Borbinha; Thierry Bouche; Aleksander Nowinski; Petr Sojka;
PUBLICAÇÃO: 2010, FONTE: Conference on Towards a Digital Mathematics Library (DML) in DML 2010 - TOWARDS A DIGITAL MATHEMATICS LIBRARY
INDEXADO EM: 
WOS
WOS