1. Introduction to HOL : a theorem proving environment for higher order logic
پدیدآورنده : edited by M.J.C. Gordon and T.F. Melham
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Automatic theorem proving,ML (Computer program language),HOL (Computer file)
رده :
QA
9
.
9
.
A9636
1993
2. Introduction to HOL : a theorem proving environment for higher order logic
پدیدآورنده : edited by M.J.C. Gordon and T.F. Melham
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (طهران)
موضوع : Automatic theorem proving,ML (Computer program language),HOL (Computer file)
رده :
QA
9
.
9
.
A9636
1993