H ?
«
‹
←
→
›
»
Language peer sets for DOHJI: Japan↑ Japan/1991↑ Designed 1991 ↑ 1990s languages ↑ Fifth generation↑ Post-Cold War↑ DOHJI(ID:5025/doh001)alternate simple viewCountry: Japan Designed 1991 natural language like proof description language, part of the constructive programming system SHUTEN References: Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |