From post

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.

 

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

Information States as First Class Citizens.. ACL, стр. 303-305. ACL, (1992)Querying Social Practices in Hospital Context., , , и . ICAART (2), стр. 405-412. SciTePress, (2018)Meaning and Partiality Revised.. SCAI, том 66 из Frontiers in Artificial Intelligence and Applications, стр. 163-164. IOS Press, (2001)SyntaxTrain: relieving the pain of learning syntax., , и . ITiCSE, стр. 387. ACM, (2011)Using Isabelle in Two Courses on Logic and Automated Reasoning., и . FMTea, том 13122 из Lecture Notes in Computer Science, стр. 117-132. Springer, (2021)On Verified Automated Reasoning in Propositional Logic., и . ACIIDS (1), том 13757 из Lecture Notes in Computer Science, стр. 390-402. Springer, (2022)An Approach for Hospital Planning with Multi-Agent Organizations., и . IJCRS (2), том 10314 из Lecture Notes in Computer Science, стр. 454-465. Springer, (2017)Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper)., , и . IJCAR (1), том 12166 из Lecture Notes in Computer Science, стр. 474-481. Springer, (2020)Logical Entity Level Sentiment Analysis., и . FG, том 10686 из Lecture Notes in Computer Science, стр. 54-71. Springer, (2017)Students' Proof Assistant (SPA)., , и . ThEdu@FLoC, том 290 из EPTCS, стр. 1-13. (2018)