The HOL sets Library

অনুরূপ উপাদানগুলি

• The HOL pred_sets Library
  অনুযায়ী: Melham, T
  প্রকাশিত: (1992)
• The HOL finite_sets Library
  অনুযায়ী: Melham, T
  প্রকাশিত: (1992)
• The HOL string Library
  অনুযায়ী: Melham, T
  প্রকাশিত: (1991)
• A Mechanized Theory of the π−calculus in HOL
  অনুযায়ী: Melham, T
  প্রকাশিত: (1991)
• A Mechanized Theory of the Π−calculus in HOL
  অনুযায়ী: Melham, T
  প্রকাশিত: (1994)