skip to main content

زبان محتوا

پشتیبانی: CRM@email.irandoc.ac.ir
نظریه محاسبه > منطق صوری > منطق زمانی
منطق > منطق صوری > منطق زمانی
ریاضی > منطق صوری > منطق زمانی
اصطلاح مرجح
منطق زمانی
نوع
  • http://www.irandoc.ac.ir/onto/irandoc-meta/Concept

مفهوم اعم
در زبان های دیگر
temporal logic

English

event calculus
URI
http://www.irandoc.acir/onto/irandoc/INSP0014067
این مفهوم را بارگیری کن: