Thierry Bouche
AuthID: R-00F-T2Q
1
TITLE: Project EuDML-A First Year Demonstration
AUTHORS: Jose Borbinha ; Thierry Bouche; Aleksander Nowinski; Petr Sojka;
PUBLISHED: 2011, SOURCE: 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
AUTHORS: Jose Borbinha ; Thierry Bouche; Aleksander Nowinski; Petr Sojka;
PUBLISHED: 2011, SOURCE: 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
TITLE: EuDML-Towards the European Digital Mathematics Library Architecture and Design
AUTHORS: Wojtek Sylwestrzak; Jose Borbinha; Thierry Bouche; Aleksander Nowinski; Petr Sojka;
PUBLISHED: 2010, SOURCE: Conference on Towards a Digital Mathematics Library (DML) in DML 2010 - TOWARDS A DIGITAL MATHEMATICS LIBRARY
AUTHORS: Wojtek Sylwestrzak; Jose Borbinha; Thierry Bouche; Aleksander Nowinski; Petr Sojka;
PUBLISHED: 2010, SOURCE: Conference on Towards a Digital Mathematics Library (DML) in DML 2010 - TOWARDS A DIGITAL MATHEMATICS LIBRARY
INDEXED IN: 
WOS
WOS