• 홈
  • temporal logic

temporal logic

system for representing and reasoning about time

en-US/ˈtɛmpəɹəl ˈlɑd͡ʒɪk/
en-GB/ˈtɛmpəɹəl ˈlɒd͡ʒɪk/

카테고리:

mathematical logic