Megrez MML Query Mizar Megrez MML Query Flaga schedule: , research, teaching, cv, publications,

Grzegorz Bancerek
Mizar project
Megrez server
MML Query server
Wersja polska

See also the calendar of Faculty of Computer Science
Adiunkt
Bialystok Technical University Faculty of Computer Science
Bialystok Technical University 		ul. Wiejska 45A
15-351 Bialystok
Poland		 tel: +48 (85) 746 9116
fax: +48 (85) 746 9057
University of Finance and Management Faculty of Technical Sciences
University of Finance and Management
Elk Branch 		ul. Grunwaldzka 1
19-300 Elk
Poland		 tel: +48 (87) 621-80-95
Former JSPS Postdoctoral Fellow
Shinshu Daigaku Department of Information Engineering
Faculty of Engineering
Shinshu University 		380-8553 Japan
Nagano-ken, Nagano-city
Wakasato 4-17-1		 tel: +81 (26) 269 5462
fax: +81 (26) 269 5495
Adiunkt
University of Bialystok Institute of Computer Science
Faculty of Mathematics and Physics
University of Bialystok 		ul. Akademicka 2
15-267 Bialystok
Poland		 tel: +48 (85) 7457559
fax: +48 (85) 7457073
Phd student, Asystent
Institute of Mathematics, Polish Academy of Sciences Institute of Mathematics
Polish Academy of Sciences 		00-956 Warszawa 10, Poland
ul. Sniadeckich 8. P.O.Box 21 		tel: +48 (22) 5228-100
fax: +48 (22) 629-39-97



Grzegorz Bancerek