Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Logic_for_Computable_Functions> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- Logic_for_Computable_Functions abstract "Logic for Computable Functions (LCF) is an interactive automated theorem prover developed at the universities of Edinburgh and Stanford by Robin Milner and others in 1972. LCF introduced the general-purpose programming language ML to allow users to write theorem-proving tactics. Theorems in the system are propositions of a special "theorem" abstract datatype. The ML type system ensures that theorems are derived using only the inference rules given by the operations of the abstract type.Successors include HOL (Higher Order Logic) and Isabelle.".
- Logic_for_Computable_Functions wikiPageExternalLink HolHistory.html.
- Logic_for_Computable_Functions wikiPageID "161900".
- Logic_for_Computable_Functions wikiPageRevisionID "602596773".
- Logic_for_Computable_Functions hasPhotoCollection Logic_for_Computable_Functions.
- Logic_for_Computable_Functions subject Category:Logic_in_computer_science.
- Logic_for_Computable_Functions subject Category:Proof_assistants.
- Logic_for_Computable_Functions type Assistant109815790.
- Logic_for_Computable_Functions type CausalAgent100007347.
- Logic_for_Computable_Functions type LivingThing100004258.
- Logic_for_Computable_Functions type Object100002684.
- Logic_for_Computable_Functions type Organism100004475.
- Logic_for_Computable_Functions type Person100007846.
- Logic_for_Computable_Functions type PhysicalEntity100001930.
- Logic_for_Computable_Functions type ProofAssistants.
- Logic_for_Computable_Functions type Whole100003553.
- Logic_for_Computable_Functions type Worker109632518.
- Logic_for_Computable_Functions type YagoLegalActor.
- Logic_for_Computable_Functions type YagoLegalActorGeo.
- Logic_for_Computable_Functions comment "Logic for Computable Functions (LCF) is an interactive automated theorem prover developed at the universities of Edinburgh and Stanford by Robin Milner and others in 1972. LCF introduced the general-purpose programming language ML to allow users to write theorem-proving tactics. Theorems in the system are propositions of a special "theorem" abstract datatype.".
- Logic_for_Computable_Functions label "LCF".
- Logic_for_Computable_Functions label "Logic for Computable Functions".
- Logic_for_Computable_Functions sameAs LCF.
- Logic_for_Computable_Functions sameAs m.015gtq.
- Logic_for_Computable_Functions sameAs Q6667462.
- Logic_for_Computable_Functions sameAs Q6667462.
- Logic_for_Computable_Functions sameAs Logic_for_Computable_Functions.
- Logic_for_Computable_Functions wasDerivedFrom Logic_for_Computable_Functions?oldid=602596773.
- Logic_for_Computable_Functions isPrimaryTopicOf Logic_for_Computable_Functions.