المؤلفون: Sahraei, S., Maddah-Ali, M.A., Avestimehr, A.S.

المصدر: IEEE Journal on Selected Areas in Information Theory IEEE J. Sel. Areas Inf. Theory Selected Areas in Information Theory, IEEE Journal on. 2(1):317-325 Mar, 2021

المؤلفون: Natarajan, Anand, Wright, John

المصدر: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS) Foundations of Computer Science (FOCS), 2019 IEEE 60th Annual Symposium on. :510-518 Nov, 2019

Relation: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS)

المؤلفون: Wäldchen, Stephan^Aff6

المساهمون: Filipe, Joaquim, Editorial Board Member^Aff1, Ghosh, Ashish, Editorial Board Member^Aff2, Prates, Raquel Oliveira, Editorial Board Member^Aff3, Zhou, Lizhu, Editorial Board Member^Aff4, Longo, Luca, editor^Aff5

المصدر: Explainable Artificial Intelligence : First World Conference, xAI 2023, Lisbon, Portugal, July 26–28, 2023, Proceedings, Part III. 1903:415-427

المؤلفون: Augot, Daniel^{Aff1, IDs1062302201134z_cor1}, Bordage, Sarah, Nardi, Jade

المصدر: Designs, Codes and Cryptography: An International Journal. 91(3):1111-1151

المؤلفون: Dolu, Özdeniz^Aff9, Ersoy, Nevzat^Aff9, Gezer, M. Utkan^Aff9, Say, A. C. Cem^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Caron, Pascal, editor^Aff7, Mignot, Ludovic, editor^Aff8

المصدر: Implementation and Application of Automata : 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings. 13266:212-224

المؤلفون: Ruhrmair, Ulrich, Martinez-Hurtado, J.L., Xu, Xiaolin, Kraeh, Christian, Hilgers, Christian, Kononchuk, Dima, Finley, Jonathan J., Burleson, Wayne P.

المصدر: 2015 IEEE Symposium on Security and Privacy Security and Privacy (SP), 2015 IEEE Symposium on. :70-85 May, 2015

Relation: 2015 IEEE Symposium on Security and Privacy (SP)

المساهمون: Benzmüller, Christoph, Heule, Marijn J.H., Schmidt, Renate A.

مصطلحات موضوعية: Automated reasoning, Logic, Logic and verification, Modal and temporal logics, Proof theory, Interactive proof systems, Description logics, Equational logic and rewriting, First-order logic, Higher order logic, Programming logic, Separation logic, Intuitionistic Logics, Deontic Logic, Non-classical Logics, Theorem Proving, Satisfiability Solving, Modal Logics, Rewriting, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UK Computer hardware

وصف الملف: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence

URL الوصول: https://library.oapen.org/handle/20.500.12657/92348

المؤلفون: Khadieva, Aliya^{Aff10, Aff11}, Yakaryılmaz, Abuzer^{Aff10, Aff12}

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Kostitsyna, Irina, editor^Aff8, Orponen, Pekka, editor^Aff9

المصدر: Unconventional Computation and Natural Computation : 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings. 12984:84-100

المؤلفون: Gezer, Mehmet Utkan^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Leporati, Alberto, editor^Aff8, Martín-Vide, Carlos, editor^Aff9, Shapira, Dana, editor^Aff10, Zandron, Claudio, editor^Aff11

المصدر: Language and Automata Theory and Applications : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings. 12038:184-195

المؤلفون: Fraigniaud, Pierre^Aff10, Montealegre, Pedro^Aff11, Oshman, Rotem^Aff12, Rapaport, Ivan^Aff13, Todinca, Ioan^Aff14

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Censor-Hillel, Keren, editor^Aff8, Flammini, Michele, editor^Aff9

المصدر: Structural Information and Communication Complexity : 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings. 11639:230-245