Logic of Computers Group at University of Michigan
GPTKB entity
Statements (8)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:research_institute
|
| gptkbp:affiliatedWith |
gptkb:University_of_Michigan
|
| gptkbp:fieldOfStudy |
computer science
|
| gptkbp:focusesOn |
logic in computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Logic of Computers Group at University of Michigan
|
| gptkbp:location |
gptkb:Ann_Arbor,_Michigan
|
| gptkbp:bfsParent |
gptkb:Arthur_W._Burks
|
| gptkbp:bfsLayer |
6
|