Buy Me a Coffee at ko-fi.com

Automated reasoning

subfield of computer science and logic

Pronunciation
/ˈɔdəˌmeɪdəd ˈrizənɪŋ/
/ˈɔːtəmeɪtɪd ˈriːzənɪŋ/
Categories
branch of science