The ACM Computing Classification System (CCS)

theorem-proving and satisfiability solving

  1. Home
  2. theorem-proving and satisfiability solving
theorem-proving and satisfiability solving
Date of creation
22-Jan-2018
Accepted term
22-Jan-2018
Descendant terms
0
ARK
ark:/99152/t3l9jq6089q72e
More specific terms
0
Alternative terms
0
Related terms
0
Notes
0
Metadata
Search
  • Search theorem-proving and satisfiability solving (Wikipedia (ES))
  • Search theorem-proving and satisfiability solving (Google búsqueda exacta)
  • Search theorem-proving and satisfiability solving (Google scholar)
  • Search theorem-proving and satisfiability solving (Google images)
  • Search theorem-proving and satisfiability solving (Google books)