( en | de | ru )

 

Disambiguierung von "Naumowicz, Adam"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
System Description: XSL-Based Translator of Mizar to LaTeX.

, , und . CICM, Volume 11006 von Lecture Notes in Computer Science, Seite 1-6. Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Olaf Adam

Adam Zomotor

Elke Adam

Karlheinz Adam

Adam Egerer

 

Weitere Publikationen von Autoren mit dem selben Namen

Mizar: State-of-the-art and Beyond., , , , , , , und . CICM, Volume 9150 von Lecture Notes in Computer Science, Seite 261-279. Springer, (2015)System Description: XSL-Based Translator of Mizar to LaTeX., , und . CICM, Volume 11006 von Lecture Notes in Computer Science, Seite 1-6. Springer, (2018)All Liouville Numbers are Transcendental, , und . Formalized Mathematics, (2017)Elementary Number Theory Problems. Part V., und . Formaliz. Math., 30 (3): 229-234 (2022)An Experiment on Mizar Adjectives with Extra Visible Arguments.. SYNASC, Seite 97-100. IEEE, (2020)Interfacing external CA systems for Gröbner bases computation in Mizar proof checking.. Int. J. Comput. Math., 87 (1): 1-11 (2010)More on Divisibility Criteria for Selected Primes., und . Formalized Mathematics, 21 (2): 87-94 (2013)Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver.. J. Autom. Reason., 55 (3): 285-294 (2015)Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces., , , und . Formaliz. Math., 19 (2): 65-68 (2011)Selected papers from the International Scientific Conference INFORMATICS'2013 - part II., , und . Central Eur. J. Comput. Sci., 4 (4): 203 (2014)