The 1991 ACM Computing Classification System
Toggle navigation
Home
Advanced search
About...
My account
Logic programming
Home
Theory of Computation
MATHEMATICAL LOGIC AND FORMAL LANGUAGES
Mathematical Logic
Logic programming
Term
Metadata
Logic programming
Broader Terms
BT
↑
Mathematical Logic
Date of creation
30-Dec-2011
Accepted term
30-Dec-2011
Descendant terms
0
ARK
ark:/99152/t3r7mozm94nj8e
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