The HOL Logic Extended with Quantification over Type Variables

Lignende værker

• The HOL Logic Extended with Quantification over Type Variables
  af: Melham, T
  Udgivet: (1993)
• The HOL string Library
  af: Melham, T
  Udgivet: (1991)
• The HOL sets Library
  af: Melham, T
  Udgivet: (1991)
• The HOL pred_sets Library
  af: Melham, T
  Udgivet: (1992)
• The HOL finite_sets Library
  af: Melham, T
  Udgivet: (1992)