H ?
«
‹
←
→
›
»
Language peer sets for Isabelle-92: United Kingdom↑ United Kingdom/1992↑ Designed 1992 ↑ 1990s languages ↑ Fifth generation↑ Post-Cold War↑ Isabelle-92(ID:2121/isa001)alternate simple viewCountry: United Kingdom Designed 1992 A generic theorem prover, supporting a wide variety of logics. A system of type classes allows polymorphic object-logics with overloading and automatic type inference. ftp://ftp.cl.cam.ac.uk/ml/92.tar.Z Places Structures: Related languages
Resources
Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |