skip to main content

زبان محتوا

پشتیبانی: CRM@email.irandoc.ac.ir
computation theory > formal logic > temporal logic
logic > formal logic > temporal logic
mathematics > formal logic > temporal logic
اصطلاح مرجح
temporal logic
نوع
  • http://www.irandoc.ac.ir/onto/irandoc-meta/Concept

مفهوم اعم
اصطلاح‌های نامرجح
  • event calculus

یادداشت دامنه
  • event calculus

در زبان های دیگر
منطق زمانی

Persian

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