학술논문
'학술논문'
에서 검색결과 159건 | 목록
1~10
Conference
Conference
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming . (Journal of Logical and Algebraic Methods in Programming, January 2023, 130)
Conference
In: International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings , Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024. (International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings, 2024, :319-327)
Academic Journal
In: Agriculture (Switzerland) . (Agriculture (Switzerland), April 2022, 12(4))
Conference
In: E3S Web of Conferences , International Scientific Conference Energy Management of Municipal Facilities and Environmental Technologies, EMMFT 2023. (E3S Web of Conferences, 7 December 2023, 458)
Academic Journal
In: Energies . (Energies, November-2 2021, 14(22))
Academic Journal
Spatiotemporal sampling strategy for characterization of hydraulic properties in heterogeneous soils
Academic Journal
In: Stochastic Environmental Research and Risk Assessment . (Stochastic Environmental Research and Risk Assessment, March 2021, 35(3):737-757)
검색 결과 제한하기
제한된 항목
[AR] Bolotov, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어