• Home
  • automated theorem proving

automated theorem proving

subfield of automated reasoning dealing with proving theorems by computer programs

en-US/ˈɔdəˌmeɪdɪd ˈθɪɹəm ˈpɹuvɪŋ/
en-GB/ˈɔːtəˌmeɪtɪd ˈθɪəɹəm ˈpɹuːvɪŋ/

Categories:

mathematical logic