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 view
Country: United States
Designed 1991

First implementation of Isabelle
Related languages
Isabelle → Isabelle-91   Evolution of
Isabelle-91 → Isabelle-92   Evolution of
Isabelle-91 → Isabelle-93   Evolution of

Resources
Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder