نتایج جستجو برای: temporal logic
تعداد نتایج: 383902 فیلتر نتایج به سال:
Journal:
:حکمت و فلسفه
0
لطف الله نبوی
هیئت علمی دانشگاه علامه طباطبایی
one ef the most important innovations in the history ef traditional logic is the avicena's theory ef temporal modalities (.atm). althottgh) the basic concepts and elements ef this theory are fottnded in aristotelian and stoic-lvlegarian !0 gic) but as a independent lo,gical system, are devised on/y fry avicenna and were later developed and completed fry his followers. the atm theory contai...
Journal:
:Modeling and Analysis of Information Systems
2020
Journal:
:Electronic Proceedings in Theoretical Computer Science
2017
Journal:
:Electronic Proceedings in Theoretical Computer Science
2020
Journal:
:ACM Transactions on Programming Languages and Systems
1989
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید