The ACM Computing Classification System (CCS)

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/t3y82qm04jzjr9
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)