Searching for authors named "Robert Milewski" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
More on the lattice of many sorted equivalence relations
- …:MSUALG_7. Robert Milewski Warsaw University Białystok WWW:http://mizar.org/JFM/Vol8/msualg_7.html…
- Cited by 2 (2 self) – Add To MetaCart
-
Associated Matrix of Linear Map
- … Science, Univ. of Białystok Associated Matrix of Linear Map MML Identifier: MATRLIN. Robert Milewski…
- Cited by 9 (2 self) – Add To MetaCart
-
Trigonometric form of complex numbers
- … Science, Univ. of Białystok Trigonometric Form of Complex Numbers MML Identifier:COMPTRIG. Robert Milewski…
- Cited by 3 (0 self) – Add To MetaCart
-
Gauges and Cages. Part II
- …/lystok Robert Milewski University of Bia/lystok MML Identifier: JORDAN1D. WWW: http://mizar.org/JFM/Vol12…
- Add To MetaCart
-
Medical Word Recognition Using a Computational Semantic Lexicon
- …MEDICAL WORD RECOGNITION USING A COMPUTATIONAL SEMANTIC LEXICON Robert Milewski Center…
- Cited by 2 (2 self) – Add To MetaCart
-
Boolean posets, posets under inclusion and products of relational structures
- …̷lystok Robert Milewski Warsaw University Bia̷lystok Summary. In the paper some notions useful in formalization…
- Cited by 84 (17 self) – Add To MetaCart
-
Some Properties of Cells and Arcs
- … Science, University of Bia̷lystok Some Properties of Cells and Arcs 1 Robert Milewski University of Bia…
- Add To MetaCart
-
Gauges and Cages. Part I
- …/lystok Robert Milewski University of Bia/lystok Adam Naumowicz University of Bia/lystok Andrzej Trybulec…
- Add To MetaCart
-
Algebraic Requirements
- …Algebraic Requirements for the Construction of Polynomial Rings Robert Milewski †1 Christoph…
- Add To MetaCart
-
A Compendium of Continuous Lattices in MIZAR - Formalizing recent mathematics
- … Korni lowicz, Beata Madras, Agnieszka Julia Marasik, Robert Milewski, Adam Naumowicz, Yuji Sakai, Bart…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 10.
