M ECHANIZED M ATHEMATICS AND I TS A PPLICATIONS , VOL . 5, N O. 2, D ECEMBER 2006, 19:31 Automatic Translation in Formalized Mathematics Grzegorz Bancerek Białystok Technical University - Technical translation - Document - PDFSEARCH.IO

First Page	Meta Content
	M ECHANIZED M ATHEMATICS AND I TS A PPLICATIONS , VOL . 5, N O. 2, D ECEMBER 2006, 19:31 Automatic Translation in Formalized Mathematics Grzegorz Bancerek Białystok Technical University Add to Reading List Document Date: 2007-01-17 23:50:49 Open Document File Size: 125,58 KB Share Result on Facebook

M ECHANIZED M ATHEMATICS AND I TS A PPLICATIONS , VOL . 5, N O. 2, D ECEMBER 2006, 19:31 Automatic Translation in Formalized Mathematics Grzegorz Bancerek Białystok Technical UniversityAdd to Reading List