• Home
  • method of analytic tableaux

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ʊ/

Categories:

algorithm