M. Hryniewicka; 6th International Conference on Geometry, Integrability and Quantization, Varna, Bułgaria, Jun 3-10, 2004; Bulgarian Academy of Sciences (org.)
M. Hryniewicka; 6th International Conference on Geometry, Integrability and Quantization, Varna, Bułgaria, Jun 3-10, 2004; Bulgarian Academy of Sciences (org.)
M. Hryniewicka; Factorization Method for second order functional equations6th International Conference on Geometry, Integrability and Quantization, Varna, Bułgaria, Jun 3-10, 2004; Bulgarian Academy of Sciences (org.)
K. Pryszczepko; News on immersions of the Lobachevsky space into Euclidean space3rd International Conference on Geometry, Integrability and Quantization, Varna, Bulgaria, Jun 14-23, 2001; Bulgarian Academy of Sciences (org.)
M. Zdanowicz; Ultrafast Magneto-Optical and Magnetization-Induced Second Harmonic Generation Techniques for Studies of Magnetic Nanostructures 13th European Conference Physics of Magnetism, Poznań, Poland, Jun 27 - Jul 1, 2011; Faculty of Physics,
; Rauszer's R-logic for Multiagent Systems11th International Conference on Infomation Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, Jul 2-7, 2006; Université Pierre et Marie Curie / Université René Descartes
T. Czyżycki; 8th International Workshop on Types for Proofs and Programs, Berg en Dal, The Netherlands, Apr 24-28, 2002; Faculty of Science, Mathematics and Informatics, University of Nijmegen (org.)
T. Czyżycki; How to use types in Mizar8th International Workshop on Types for Proofs and Programs, Berg en Dal, The Netherlands, Apr 24-28, 2002; Faculty of Science, Mathematics and Informatics, University of Nijmegen (org.)
A. Odzijewicz; 9th International Workshop on Types for Proofs and Programs, Torino, Italy, Apr 30 - May 4, 2003
A. Odzijewicz; 9th International Workshop on Types for Proofs and Programs, Torino, Italy, Apr 30 - May 4, 2003
