Buy Me a Coffee at ko-fi.com

Method of analytic tableaux

fundamental concept in automated theorem proving

Pronunciation
/ˈmɛθəd əv anəˈlɪtɪk ˈtabləʊz/
/ˈmɛθəd əv ˌænəˈlɪdɪk təˈbloʊ/
Categories
algorithm