H ?
«
‹
←
→
›
»
Language peer sets for Isabelle: United Kingdom↑ United Kingdom/1988↑ Designed 1988 ↑ 1980s languages ↑ Fifth generation↑ Late Cold War↑ Isabelle(ID:3672/isa004)alternate simple viewCountry: United Kingdom Designed 1988 Published: 1988 Isabelle is a highly automated generic theorem prover written in Standard ML. New logics are introduced by specifying their syntax and rules of inference. Proof procedures can be expressed using tactics and tacticals. Isabelle comes with 8 different logics, including LCF, some modal logics, first-order logic, Zermelo-Fraenkel set theory, and higher-order logic. Structures: Related languages
References: Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |