Situation calculus

logic formalism

en-GB/ˌsɪt͡ʃʊˈeɪʃn ˈkælkjʊləs/
en-US/ˌsɪt͡ʃuˈeɪʃən ˈkælkjələs/

หมวดหมู่:

formal system