A Search Service for Abbreviation / Long Form
■ Abbreviation / Long Form : HOL / higher-order logic
[Related PubMed/MEDLINE]
Total Number of Papers:
1
[Entries Per Page]
5
10
20
50
100
per page
Page Control
Page:
of
Abbreviation:
HOL
(
>> Co-occurring Abbreviation
)
Long Form:
higher-order logic
Abbreviation Variation
HOL (1 time)
Long Form Variation
higher-order logic (1 time)
Pair(Abbreviation/Long Form) Variation
HOL / higher-order logic (1 time)
No.
Year
Title
Co-occurring Abbreviation
1
2016
Formal modeling and verification of fractional order linear systems.
GL
A Search Service for Abbreviation / Long FormA Search Service for Abbreviation / Long Form
