1![Strategies in Dialogues: A Game-Theoretic Approach b , and Katarzyna BUDZYNSKA c,d ´ Magdalena KACPRZAK a , Marcin DZIUBINSKI a Faculty of Computer Science, Białystok University of Technology, Poland Strategies in Dialogues: A Game-Theoretic Approach b , and Katarzyna BUDZYNSKA c,d ´ Magdalena KACPRZAK a , Marcin DZIUBINSKI a Faculty of Computer Science, Białystok University of Technology, Poland](https://www.pdfsearch.io/img/af5068eb16b6879c9f0ec3fdce21b715.jpg) | Add to Reading ListSource URL: comma2014.arg.dundee.ac.ukLanguage: English - Date: 2014-08-27 11:30:50
|
---|
2![Bialystok University of Technology Academic yearApplication Form for International Students Note: All entries must be filled in capital letters. Bialystok University of Technology Academic yearApplication Form for International Students Note: All entries must be filled in capital letters.](https://www.pdfsearch.io/img/b47d05331845c264512adf0329367b87.jpg) | Add to Reading ListSource URL: pb.edu.pl- Date: 2015-06-24 06:40:38
|
---|
3![An Example of Formalizing Recent Mathematics in MIZAR Adam Naumowicz University of Białystok, Poland An Example of Formalizing Recent Mathematics in MIZAR Adam Naumowicz University of Białystok, Poland](https://www.pdfsearch.io/img/c14eda21c5aee64b5d1ab4095d76d0f9.jpg) | Add to Reading ListSource URL: www.lama.univ-savoie.fr- Date: 2005-11-14 03:51:36
|
---|
4![MIZAR in MathWiki Adam Naumowicz Institute of Computer Science University of Bialystok, Poland MIZAR in MathWiki Adam Naumowicz Institute of Computer Science University of Bialystok, Poland](https://www.pdfsearch.io/img/8393fcd9e4d57fdb846ae680063af000.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.uk- Date: 2007-11-12 11:08:05
|
---|
5![FORMALIZED MATHEMATICS Volume 6, Number 2, University of Białystok 1997 FORMALIZED MATHEMATICS Volume 6, Number 2, University of Białystok 1997](https://www.pdfsearch.io/img/8ce36695ff4fce1c4f345a513ef95f5a.jpg) | Add to Reading ListSource URL: www.mizar.org- Date: 2007-03-01 10:42:55
|
---|
6![Introduction to the MIZAR system Adam Naumowicz Institute of Computer Science University of Bialystok, Poland Introduction to the MIZAR system Adam Naumowicz Institute of Computer Science University of Bialystok, Poland](https://www.pdfsearch.io/img/b361166af5c66c01ac0b38feb9f15a35.jpg) | Add to Reading ListSource URL: typessummerschool07.cs.unibo.it- Date: 2007-08-25 07:14:55
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: kulturoznawstwo.uwb.edu.pl- Date: 2016-02-20 03:55:01
|
---|
8![M ECHANIZED M ATHEMATICS AND I TS A PPLICATIONS, VOL . 4, N O. 1, M ARCH 2005, 3:24 M IZAR: the first 30 years Roman Matuszewski1 and Piotr Rudnicki2? 1 University of Białystok, Białystok, Poland, M ECHANIZED M ATHEMATICS AND I TS A PPLICATIONS, VOL . 4, N O. 1, M ARCH 2005, 3:24 M IZAR: the first 30 years Roman Matuszewski1 and Piotr Rudnicki2? 1 University of Białystok, Białystok, Poland,](https://www.pdfsearch.io/img/2e21f4377095f2b8037a927ecac51d11.jpg) | Add to Reading ListSource URL: mizar.auburn.edu- Date: 2005-07-20 17:21:01
|
---|
9![Faculty of History and Sociology
Table of contents University of Bialystok, Poland
Faculty of History and Sociology
Table of contents University of Bialystok, Poland](https://www.pdfsearch.io/img/08ef91de567981cd0e847098d78fb2aa.jpg) | Add to Reading ListSource URL: whs.uwb.edu.plLanguage: English - Date: 2015-05-25 06:49:48
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: www.umb.edu.plLanguage: Polish - Date: 2015-06-02 03:15:08
|
---|