From post

System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic.

, , и . CADE, том 7898 из Lecture Notes in Computer Science, стр. 126-134. Springer, (2013)

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.

 

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

Decision Procedures for Theories of Sets with Measures., и . CADE, том 10395 из Lecture Notes in Computer Science, стр. 166-184. Springer, (2017)Reasoning with Sets and Sums of Sets.. SMT@IJCAR, том 1617 из CEUR Workshop Proceedings, стр. 61-70. CEUR-WS.org, (2016)Platelet lamellipodium formation is not required for thrombus formation and stability, , , , , , , , , и 2 other автор(ы). Blood, (2019)