( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Lower Bound Founded Logic of Here-and-There.

, , , и . JELIA, том 11468 из Lecture Notes in Computer Science, стр. 509-525. Springer, (2019)

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.

Philipp Sebastian Schellhorn

Gerhard Schellhorn

Martin Schellhorn

Uwe Schellhorn

Matthias Schellhorn

 

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

Gelfond-Zhang aggregates as propositional formulas., , , и . Artif. Intell., (2019)Lower Bound Founded Logic of Here-and-There., , , и . JELIA, том 11468 из Lecture Notes in Computer Science, стр. 509-525. Springer, (2019)Hybrid metabolic network completion., , , , и . Theory Pract. Log. Program., 19 (1): 83-108 (2019)Reasoning about Study Regulations in Answer Set Programming (Preliminary Report)., , , , , , и . ICLP Workshops, том 3437 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)