The HOL pred_sets Library

Benzer Materyaller

• The HOL sets Library
  Yazar:: Melham, T
  Baskı/Yayın Bilgisi: (1991)
• The HOL finite_sets Library
  Yazar:: Melham, T
  Baskı/Yayın Bilgisi: (1992)
• The HOL string Library
  Yazar:: Melham, T
  Baskı/Yayın Bilgisi: (1991)
• A Package for Inductive Relation Definitions in HOL
  Yazar:: Melham, T
  Baskı/Yayın Bilgisi: (1992)
• A Mechanized Theory of the π−calculus in HOL
  Yazar:: Melham, T
  Baskı/Yayın Bilgisi: (1992)