Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Logic_for_Computable_Functions> . }
Showing items 1 to 5 of
5
with 100 items per page.
- Robin_Milner knownFor Logic_for_Computable_Functions.
- LCF wikiPageDisambiguates Logic_for_Computable_Functions.
- LCF_(theorem_prover) wikiPageRedirects Logic_for_Computable_Functions.
- LCF_theorem_prover wikiPageRedirects Logic_for_Computable_Functions.
- Logic_for_Computable_Functions primaryTopic Logic_for_Computable_Functions.