( en | de | ru )

 

Disambiguation of "Bancerek, Grzegorz"

Author of the publication

copydeleteadd this publication to your clipboard
System Description: XSL-Based Translator of Mizar to LaTeX.

, , and . CICM, volume 11006 of Lecture Notes in Computer Science, page 1-6. Springer, (2018)

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. You can also use the button next to the name to display some publications already assigned to the person.

Grzegorz Podrygajlo

Differentiation of human teratocarcinoma cell line into motor neurons: investigation of cellular phenotype in vitro and in transplantation studies. TierH Hannover, (2009)

Grzegorz Kochaniewicz

Grzegorz Popiolek

Grzegorz Jaśkiewicz

Grzegorz Bakuniak

 

Other publications of authors with the same name

Information Retrieval in MML., and . MKM, volume 2594 of Lecture Notes in Computer Science, page 119-132. Springer, (2003)Sorting by Exchanging.. Formalized Mathematics, 19 (2): 93-102 (2011)Introduction to Matroids., and . Formalized Mathematics, 16 (1-4): 325-332 (2008)Presenting and Explaining Mizar., and . UITP@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 63-74. Elsevier, (2006)Epsilon Numbers and Cantor Normal Form.. Formalized Mathematics, 17 (1-4): 249-256 (2009)Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm.. Formalized Mathematics, 22 (1): 37-56 (2014)A Compendium of Continuous Lattices in MIZAR., and . J. Autom. Reason., 29 (3-4): 189-224 (2002)Information Retrieval and Rendering with.. MKM, volume 4108 of Lecture Notes in Computer Science, page 266-279. Springer, (2006)The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar., , , , , , and . J. Autom. Reason., 61 (1-4): 9-32 (2018)Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles., and . MKM, volume 3119 of Lecture Notes in Computer Science, page 44-57. Springer, (2004)