كتاب إلكتروني
An Empirical Assessment of Progress in Automated Theorem Proving
العنوان: | An Empirical Assessment of Progress in Automated Theorem Proving |
---|---|
المؤلفون: | Sutcliffe, GeoffAff27, Suttner, ChristianAff28, Kotthoff, LarsAff29, Perrault, C. RaymondAff30, Khalid, ZainAff27 |
المساهمون: | Hartmanis, Juris, Founding EditorAff1, van Leeuwen, Jan, Series EditorAff2, Hutchison, David, Editorial Board MemberAff3, Kanade, Takeo, Editorial Board MemberAff4, Kittler, Josef, Editorial Board MemberAff5, Kleinberg, Jon M., Editorial Board MemberAff6, Kobsa, Alfred, Series EditorAff7, Mattern, Friedemann, Editorial Board MemberAff8, Mitchell, John C., Editorial Board MemberAff9, Naor, Moni, Editorial Board MemberAff10, Nierstrasz, Oscar, Series EditorAff11, Pandu Rangan, C., Editorial Board MemberAff12, Sudan, Madhu, Series EditorAff13, Terzopoulos, Demetri, Editorial Board MemberAff14, Tygar, Doug, Editorial Board MemberAff15, Weikum, Gerhard, Series EditorAff16, Vardi, Moshe Y, Series EditorAff17, Goos, Gerhard, Founding EditorAff18, Bertino, Elisa, Editorial Board MemberAff19, Gao, Wen, Editorial Board MemberAff20, Steffen, Bernhard, Editorial Board MemberAff21, Yung, Moti, Editorial Board MemberAff22, Woeginger, Gerhard, Editorial Board MemberAff23, Benzmüller, Christoph, editorAff24, Heule, Marijn J.H., editorAff25, Schmidt, Renate A., editorAff26 |
المصدر: | Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I. 14739:53-74 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783031634970 9783031634987 |
---|---|
DOI: | 10.1007/978-3-031-63498-7_4 |