H ?
«
‹
←
→
›
»
Language peer sets for Isabelle-91: United States↑ United States/1991↑ Designed 1991 ↑ 1990s languages ↑ Fifth generation↑ Post-Cold War↑ Isabelle-91(ID:3664/isa002)alternate simple viewCountry: United States Designed 1991 First implementation of Isabelle Related languages
Resources Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |