The ACM Computing Classification System (CCS)
Toggle navigation
Home
Advanced search
About...
My account
theorem proving and satisfiability solving
Home
theorem proving and satisfiability solving
Term
Metadata
theorem proving and satisfiability solving
theorem proving and satisfiability solving
USE
Theorem proving and SAT 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
BS8723-5
DC
MADS
SKOS-Core
VDEX
XTM
Zthes
JSON
JSON-LD
Search