Record number :
3936
Title :
Introduction to Hol:A theorem proving environment for higher order logic
Publication :
New York Cambidge University Press
Published Year :
1991
Fierst Pages :
0
Main Pages :
472
Collation :
472
Notes :
511.33^cI55 , Glossary
Reprint :
False
Contents :
0
Print issue :
0
Subject :
Logic, symbolic and mathematical
Class :
511.33
CutterNumber :
I55
Language :
انگليسي
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=7&DC=3936
