ACM Special Interest Group on Logic and Computation
GPTKB entity
Statements (13)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:parliamentary_committee
|
gptkbp:abbreviation |
gptkb:SIGLOG
|
gptkbp:country |
gptkb:United_States
|
gptkbp:established |
2014
|
gptkbp:focus |
logic in computer science
computational logic |
https://www.w3.org/2000/01/rdf-schema#label |
ACM Special Interest Group on Logic and Computation
|
gptkbp:parentOrganization |
gptkb:Association_for_Computing_Machinery
|
gptkbp:sponsor |
gptkb:Alonzo_Church_Award
ACM SIGLOG Newsletter |
gptkbp:website |
https://siglog.org/
|
gptkbp:bfsParent |
gptkb:SIGLOG
|
gptkbp:bfsLayer |
7
|