Subject
Formal languages
Computer science
2
Logic, Symbolic and mathematical
2
Computer logic
1
Computer programs
1
Electronic data processing
1
Formal methods (Computer science)
1
Functional programming (Computer science)
1
Game theory
1
Logic
1
Programming languages (Electronic computers)
1
Software engineering
1