Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas: Theoretical foundations and analysis Use of computer technology to aid logicians Use of concepts from logic for computer applications
| Attributes | Values |
|---|---|
| rdfs:comment |
|
| foaf:depiction | |
| thumbnail | |
| is field of | |
| is known for of |