( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the independence of axioms in BL and MTL.

. Fuzzy Sets Syst., (2012)

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.

Charalambos Karela

Heiko Karels

Anna Karelina

Sophie Karela

Arnold Karelitzki

 

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

On the independence of axioms in BL and MTL.. Fuzzy Sets Syst., (2012)Top-Down Neural Model For Formulae.. ICLR (Poster), OpenReview.net, (2019)Guiding an Instantiation Prover with Graph Neural Networks., , , и . LPAR, том 94 из EPiC Series in Computing, стр. 112-123. EasyChair, (2023)Fast and Slow Enigmas and Parental Guidance., , , , и . FroCoS, том 12941 из Lecture Notes in Computer Science, стр. 173-191. Springer, (2021)Note on Deduction Theorems in Contraction-Free Logics., и . LPAR short papers(Yogyakarta), том 13 из EPiC Series in Computing, стр. 26-29. EasyChair, (2010)ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)., , , , , и . IJCAR (2), том 12167 из Lecture Notes in Computer Science, стр. 448-463. Springer, (2020)Towards Learning Infinite SMT Models (Work in Progress)., , и . SYNASC, стр. 82-85. IEEE, (2023)MizAR 60 for Mizar 50., , , , , , , , и . ITP, том 268 из LIPIcs, стр. 19:1-19:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Note on Deduction Theorems in contraction-free logics., и . Math. Log. Q., 58 (3): 236-243 (2012)Learning Theorem Proving Components., , , и . TABLEAUX, том 12842 из Lecture Notes in Computer Science, стр. 266-278. Springer, (2021)