كتاب إلكتروني
Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic
| العنوان: | Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic |
|---|---|
| المؤلفون: | Tarau, PaulAff9 |
| المساهمون: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Fernández, Maribel, editorAff8 |
| المصدر: | Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings. 12561:329-344 |
| قاعدة البيانات: | Springer Nature eBooks |
| ردمك: | 9783030684457 9783030684464 |
|---|---|
| DOI: | 10.1007/978-3-030-68446-4_17 |