H ?
«
‹
←
→
›
»
Language peer sets for HOL-88: United Kingdom↑ United Kingdom/1988↑ Designed 1988 ↑ 1980s languages ↑ Fifth generation↑ Late Cold War↑ HOL-88(ID:3308/hol002)alternate simple viewCountry: United Kingdom Designed 1988 Published: 1988 HOL implementation in ML Related languages
Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |