The ACM Computing Classification System (CCS)
Toggle navigation
Home
Advanced search
About...
My account
higher order logics
Home
higher order logics
Term
Metadata
higher order logics
higher order logics
USE
Higher order logic
Date of creation
22-Jan-2018
Accepted term
22-Jan-2018
Descendant terms
0
ARK
ark:/99152/t3ve4zwrw7qg5w
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