The ACM Computing Classification System (CCS)

Logic and verification

Logic and verification

Broader Terms

Date of creation
22-Jan-2018
Accepted term
22-Jan-2018
Descendant terms
0
ARK
ark:/99152/t3y82qm8kg3jr9
More specific terms
0
Alternative terms
0
Related terms
0
Notes
0
Metadata
Search
  • Search Logic and verification (Wikipedia (ES))
  • Search Logic and verification (Google búsqueda exacta)
  • Search Logic and verification (Google scholar)
  • Search Logic and verification (Google images)
  • Search Logic and verification (Google books)