نتایج جستجو برای: nature description
تعداد نتایج: 571935 فیلتر نتایج به سال:
This paper proposes a semantic description of the linear step-like temporal multi-agent logic with universal modality \(\mathcal{LTK}.sl_U\) based on idea non-reflexive non-transitive nature time. We proved finite model property and projective unification for this logic.
abstract: the present thesis includes ; one preface and 11speeches , that each speech considered in different researches . the prefact part , studied grammer back ground , the first speech considered a brief description about grammatical credits . the second speech considered the different typs of sentences , from structure and meaning points of view . the third speech considered the verb es...
چکیده ندارد.
چکیده ندارد.
چکیده ندارد.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید