A calculus of agents and artifacts

被引：0
作者：
Dipartimento di Informatica, Università di Torino, Torino, Italy [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
Commun. Comput. Info. Sci. | / 124-136期
关键词：
Compendex;
D O I：
4th International Conference on Software and Data Technologies, ICSOFT 2009
中图分类号：
学科分类号：
摘要：
Calculations
引用
收藏
相关论文
共 50 条
  • [21] Six-Pulse RIDME Sequence to Avoid Background Artifacts
    Abdullin, Dinar
    Suchatzki, Miriam
    Schiemann, Olav
    APPLIED MAGNETIC RESONANCE, 2022, 53 (3-5) : 539 - 554
  • [22] Magnetic response in the discovery of archaeological artifacts and monuments in Gandhara, Pakistan
    Nordiana, M.M.
    Saidin, Mokhtar
    Masnan, Shyeh Sahibul Karamah
    Saad, Rosli
    Azwin, I.N.
    Ismail, Noer El Hidayah
    Electronic Journal of Geotechnical Engineering, 2015, 20 (16): : 9657 - 9664
  • [23] A Java-like Calculus with User-Defined Coeffects
    Bianchini, Riccardo
    Dagnino, Francesco
    Giannini, Paola
    Zucca, Elena
    CEUR Workshop Proceedings, 2022, 3284 : 66 - 78
  • [24] Application of non -destructive analysis for investigation of painted wood artifacts of azerbaijan
    Institute of Radiation Problems of AzNAS, Baku, Azerbaijan
    不详
    Proc. Int Conf Adv Mater Syst., ICAMS, 1600, (475-480):
  • [25] A Survey of Model Extraction Techniques based on Development Artifacts of Embedded Systems
    Yamamoto R.
    Yoshida N.
    Takada H.
    Computer Software, 2022, 39 (03) : 4 - 16
  • [26] Nondestructive analysis of the glass artifacts of the Han Dynasties excavated from Guangzhou
    Li, Q. (qinghuil@sina.com), 1600, Chinese Ceramic Society (41):
  • [27] ELIMINATING TRANSIENT ARTIFACTS IN STABILIZED-IMAGE CONTRAST THRESHOLDS.
    BURBECK, CHRISTINA A.
    KELLY, D.H.
    1982, V 72 (N 9): : 1238 - 1243
  • [28] Analysis of bronze artifacts from Anyang site by atomic absorption spectrometry
    Kao Teng Hsueh Hsiao Hua Heush Hsueh Pao, 5 Suppl (52):
  • [29] Many-valued paraconsistent extensions of classical positive propositional calculus
    RAS Institute of Philosophy, 12/1 Goncharnaya Str., Moscow
    109240, Russia
    J. App. Logics, 2 (229-253): : 229 - 253
  • [30] FORMAL CALCULUS FOR THE ENUMERATIVE SYSTEM OF SEQUENCES .1. COMBINATORIAL THEOREMS
    JACKSON, DM
    GOULDEN, IP
    STUDIES IN APPLIED MATHEMATICS, 1979, 61 (02) : 141 - 178
12345