Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Mathematics_of_computing> . }
Showing items 1 to 11 of
11
with 100 items per page.
- Actor_model_theory subject Category:Mathematics_of_computing.
- Fixed-point_combinator subject Category:Mathematics_of_computing.
- Fourier_analysis subject Category:Mathematics_of_computing.
- Log_probability subject Category:Mathematics_of_computing.
- Postcondition subject Category:Mathematics_of_computing.
- Category:Denotational_semantics broader Category:Mathematics_of_computing.
- Category:Domain_theory broader Category:Mathematics_of_computing.
- Category:Formal_methods broader Category:Mathematics_of_computing.
- Category:Logic_in_computer_science broader Category:Mathematics_of_computing.
- Category:Mathematical_software broader Category:Mathematics_of_computing.
- Category:Numerical_analysis broader Category:Mathematics_of_computing.