Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/FormalMethodsPublications> . }
Showing items 1 to 5 of
5
with 100 items per page.
- Acta_Informatica type FormalMethodsPublications.
- Formal_Aspects_of_Computing type FormalMethodsPublications.
- Journal_of_Automated_Reasoning type FormalMethodsPublications.
- Logical_Methods_in_Computer_Science type FormalMethodsPublications.
- Unifying_Theories_of_Programming type FormalMethodsPublications.