-
1تقرير
المؤلفون: Rebola-Pardo, Adrián
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2307.12098
-
2كتاب إلكتروني
المؤلفون: Heisinger, SimoneAff27, Heisinger, MaximilianAff27, Rebola-Pardo, AdrianAff27, Aff28, Seidl, MartinaAff27
المساهمون: 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:325-343
-
3مؤتمر
المؤلفون: Rebola-Pardo, Adrian, Cruz-Filipe, Luis
المصدر: 2018 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2018. :1-9 Oct, 2018
Relation: 2018 Formal Methods in Computer Aided Design (FMCAD)
-
4مؤتمرModeling the cost and coverage of an ad-hoc asset management system based on existing fleet vehicles
المؤلفون: Pordel, Dana, Petersson, Lars, Namin, Shahin, Rebola-Pardo, Adrian
المصدر: 2015 IEEE Intelligent Vehicles Symposium (IV) Intelligent Vehicles Symposium (IV), 2015 IEEE. :1068-1073 Jun, 2015
Relation: 2015 IEEE Intelligent Vehicles Symposium (IV)
-
5كتاب إلكتروني
المؤلفون: Kiesl, BenjaminAff16, Rebola-Pardo, AdriánAff16, Heule, Marijn J. H.Aff17
المساهمون: Hutchison, David, Series EditorAff1, Kanade, Takeo, Series EditorAff2, Kittler, Josef, Series EditorAff3, Kleinberg, Jon M., Series EditorAff4, Mattern, Friedemann, Series EditorAff5, Mitchell, John C., Series EditorAff6, Naor, Moni, Series EditorAff7, Pandu Rangan, C., Series EditorAff8, Steffen, Bernhard, Series EditorAff9, Terzopoulos, Demetri, Series EditorAff10, Tygar, Doug, Series EditorAff11, Weikum, Gerhard, Series EditorAff12, Galmiche, Didier, editorAff13, Schulz, Stephan, editorAff14, Sebastiani, Roberto, editorAff15
المصدر: Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. 10900:516-531
-
6كتاب إلكتروني
المؤلفون: Philipp, TobiasAff15, Rebola-Pardo, AdriánAff16
المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Michael, Loizos, editorAff13, Kakas, Antonis, editorAff14
المصدر: Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings. 10021:415-429
-
7
المؤلفون: Rebola Pardo, Adrian
مصطلحات موضوعية: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, SAT solving, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Proof systems, Interference, Interpolation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4c6d59aa045fed27884ac9381853b0b6
-
8دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.