Document Preview
  • Full Text
  • Dissertation or Thesis

Automated Theorem Proving with Extensions of First-Order Logic

Kotelnikov, EvgeniiChalmers Tekniska Hogskola (Sweden). ProQuest Dissertations Publishing, 2018. 27556853.