H ?
«
‹
←
→
›
»
Language peer sets for Isabelle/HOL: United Kingdom↑ United Kingdom/1997↑ Designed 1997 ↑ 1990s languages ↑ Internet↑ New internationlism↑ Isabelle/HOL(ID:3690/isa005)alternate simple viewCountry: United Kingdom Designed 1997 Combination of Isabelle and HOL Related languages
References: in Paulin-Mohring, C. (1997) Paulin-Mohring, C. [ed], Proc. Int. Workshop TYPES'96, LNCS 1XXX Springer, 1997. in Paulin-Mohring, C. (1997) Paulin-Mohring, C. [ed], Proc. Int. Workshop TYPES'96, LNCS 1XXX Springer, 1997. in Paulin-Mohring, C. (1997) Paulin-Mohring, C. [ed], Proc. Int. Workshop TYPES'96, LNCS 1XXX Springer, 1997. in Paulin-Mohring, C. (1997) Paulin-Mohring, C. [ed], Proc. Int. Workshop TYPES'96, LNCS 1XXX Springer, 1997. in Paulin-Mohring, C. (1997) Paulin-Mohring, C. [ed], Proc. Int. Workshop TYPES'96, LNCS 1XXX Springer, 1997. in (2002) ZB 2002: Formal Specification and Development in Z and B, LNCS 2272 Springer, 2002 Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |