Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Logic_for_Computable_Functions> }
Showing triples 1 to 26 of
26
with 100 triples per page.
- Coq__programming_language__1 influencedBy Logic_for_Computable_Functions.
- 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.
- Automated_theorem_proving wikiPageWikiLink Logic_for_Computable_Functions.
- Coq wikiPageWikiLink Logic_for_Computable_Functions.
- HOL_(proof_assistant) wikiPageWikiLink Logic_for_Computable_Functions.
- Isabelle_(proof_assistant) wikiPageWikiLink Logic_for_Computable_Functions.
- LCF wikiPageWikiLink Logic_for_Computable_Functions.
- LCF_(theorem_prover) wikiPageWikiLink Logic_for_Computable_Functions.
- LCF_theorem_prover wikiPageWikiLink Logic_for_Computable_Functions.
- List_of_mathematical_logic_topics wikiPageWikiLink Logic_for_Computable_Functions.
- Logic_of_Computable_Functions wikiPageWikiLink Logic_for_Computable_Functions.
- ML_(programming_language) wikiPageWikiLink Logic_for_Computable_Functions.
- Proof_assistant wikiPageWikiLink Logic_for_Computable_Functions.
- Robin_Milner wikiPageWikiLink Logic_for_Computable_Functions.
- Standard_ML wikiPageWikiLink Logic_for_Computable_Functions.
- Turing_Award wikiPageWikiLink Logic_for_Computable_Functions.
- Type_theory wikiPageWikiLink Logic_for_Computable_Functions.
- HolHistory.html isCitedBy Logic_for_Computable_Functions.
- 3-540-09526-8_11 isCitedBy Logic_for_Computable_Functions.
- 3-540-09724-4 isCitedBy Logic_for_Computable_Functions.
- 978-3-322-96753-4 isCitedBy Logic_for_Computable_Functions.
- Robin_Milner knownFor Logic_for_Computable_Functions.
- Logic_for_Computable_Functions primaryTopic Logic_for_Computable_Functions.