Buy Me a Coffee at ko-fi.com

Automated theorem proving

subfield of automated reasoning dealing with proving theorems by computer programs

Pronunciation
/ˈɔdəˌmeɪdəd ˈθiərəm ˈpruvɪŋ/
Categories
mathematical logic