( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mizar: State-of-the-art and Beyond.

, , , , , , , и . CICM, том 9150 из Lecture Notes in Computer Science, стр. 261-279. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Robert Grabowski

Jens Grabowski

Blazej Grabowski

Evelyn Grabowski

Matthias Grabowski

 

Другие публикации лиц с тем же именем

On the Lattice of Intervals and Rough Sets., и . Formalized Mathematics, 17 (1-4): 237-244 (2009)Prime Filters and Ideals in Distributive Lattices.. Formalized Mathematics, 21 (3): 213-221 (2013)Solving Two Problems in General Topology Via Types.. TYPES, том 3839 из Lecture Notes in Computer Science, стр. 138-153. Springer, (2004)Automated Discovery of Properties of Rough Sets.. Fundam. Informaticae, 128 (1-2): 65-79 (2013)Introduction to Liouville Numbers., и . Formalized Mathematics, 25 (1): 39 (2017)Formalizing Two Generalized Approximation Operators., и . Formalized Mathematics, 26 (2): 183-191 (2018)Sequences of Prime Reciprocals. Preliminaries.. Formalized Mathematics, 26 (1): 69-79 (2018)Basic Formal Properties of Triangular Norms and Conorms.. Formalized Mathematics, 25 (2): 93-100 (2017)Tarski Geometry Axioms. Part III., и . Formalized Mathematics, 25 (4): 289-313 (2017)FastSample: Accelerating Distributed Graph Neural Network Training for Billion-Scale Graphs., , , , , и . CoRR, (2023)