DocumentCode :
1086897
Title :
High-Level Text on Higher Order Logic
Author :
Periyasamy, K.
Volume :
13
Issue :
1
fYear :
1996
Firstpage :
117
Keywords :
Books; Libraries; Logic; Manuals; Mathematics; Program processors;
fLanguage :
English
Journal_Title :
Software, IEEE
Publisher :
ieee
ISSN :
0740-7459
Type :
jour
DOI :
10.1109/MS.1996.476302
Filename :
476302
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1086897
