المؤلفون: Ma, Honglei, Chai, Hongzhou, Lv, Zhipeng, Wang, Min, Tian, Xiangyu, Zhou, Yingdong, Feng, Xu

المصدر: 2023 5th International Conference on Geoscience and Remote Sensing Mapping (GRSM) Geoscience and Remote Sensing Mapping (GRSM), 2023 5th International Conference on. :103-110 Oct, 2023

Relation: 2023 5th International Conference on Geoscience and Remote Sensing Mapping (GRSM)

المؤلفون: Moszner, Zenon^Aff4

المساهمون: Brzdęk, Janusz, editor^Aff1, Popa, Dorian, editor^Aff2, Rassias, Themistocles M., editor^Aff3

المصدر: Ulam Type Stability. :231-271

المؤلفون: Amou, M.^Aff1

المصدر: Acta Mathematica Hungarica. 162(1):40-51

المؤلفون: Garda-Mátyás, Edit^Aff1

المصدر: Aequationes mathematicae. 93(2):451-465

المؤلفون: Boros, Z.^Aff1, Garda-Mátyás, E.^Aff2

المصدر: Acta Mathematica Hungarica. 154(2):389-401

المؤلفون: Moszner, Zenon

المصدر: Aequationes mathematicae. October 2016 90(5):983-999

المؤلفون: Góbi, Attila^Aff18, Shkaravska, Olha^Aff19, van Eekelen, Marko^{Aff19, Aff20}

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Loidl, Hans-Wolfgang, editor^Aff16, Peña, Ricardo, editor^Aff17

المصدر: Trends in Functional Programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers. 7829:53-68

المؤلفون: Clavel, Manuel^Aff1, Durán, Francisco^Aff2, Eker, Steven^Aff3, Lincoln, Patrick^Aff3, Martí-Oliet, Narciso^Aff1, Meseguer, José^Aff4, Talcott, Carolyn^Aff5

المساهمون: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Clavel, Manuel, Durán, Francisco, Eker, Steven, Lincoln, Patrick, Martí-Oliet, Narciso, Meseguer, José, Talcott, Carolyn

المصدر: All About Maude - A High-Performance Logical Framework : How to Specify, Program and Verify Systems in Rewriting Logic. 4350:697-736

المؤلفون: Boley, Harold^Aff20

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Dough, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Alferes, Jóse Júlio, editor^Aff16, Bailey, James, editor^Aff17, May, Wolfgang, editor^Aff18, Schwertel, Uta, editor^Aff19

المصدر: Principles and Practice of Semantic Web Reasoning : 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers. 4187:1-17

المؤلفون: Bergstra, J. A.^{Aff20, Aff21}

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Dough, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Beckmann, Arnold, editor^Aff16, Berger, Ulrich, editor^Aff17, Löwe, Benedikt, editor^Aff18, Tucker, John V., editor^Aff19

المصدر: Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings. 3988:40-54