method of analytic tableaux

fundamental concept in automated theorem proving

en-GB/ˈmɛθəd əv ˌænəˈlɪtɪk ˈtæbləʊz/
en-US/ˈmɛθəd ʌv ˌænəˈlɪtɪk təbˈloʊ/

دسته بندی ها:

algorithm