( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integrating Answer Set Programming with Object-Oriented Languages.

, и . PADL, том 10137 из Lecture Notes in Computer Science, стр. 50-67. Springer, (2017)

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.

Thomas Rath

Johannes Rath

Willi Rath

Detlef Rath

Kurt Räth

 

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

Automated Generation of Exam Sheets for Automated Deduction., , и . CICM, том 12833 из Lecture Notes in Computer Science, стр. 185-196. Springer, (2021)SAT-Based Subsumption Resolution., , , и . CADE, том 14132 из Lecture Notes in Computer Science, стр. 190-206. Springer, (2023)Integrating Answer Set Programming with Object-Oriented Languages., и . PADL, том 10137 из Lecture Notes in Computer Science, стр. 50-67. Springer, (2017)Subsumption Demodulation in First-Order Theorem Proving., , и . IJCAR (1), том 12166 из Lecture Notes in Computer Science, стр. 297-315. Springer, (2020)PolySAT: Word-level Bit-vector Reasoning in Z3., , , , и . CoRR, (2024)First-Order Subsumption via SAT Solving., , и . FMCAD, стр. 160-169. IEEE, (2022)Clinical fMRI: Evidence for a 7 T benefit over 3 T., , , , , , , , , и 1 other автор(ы). NeuroImage, 57 (3): 1015-1021 (2011)