A Search Service for Abbreviation / Long Form
■ Related PubMed/MEDLINE Info.
[Related PubMed/MEDLINE]
Total Number of Papers:
2
[Display Entries]
[Entries Per Page]
5
10
20
50
100
per page
Page Control
Page:
of
Abbreviation
:
HOL
Long Form
:
higher-order logic
No.
Year
Title
Co-occurring Abbreviation
1
2020
Formal reasoning about synthetic biology using higher-order-logic theorem proving.
---
2
2016
Formal modeling and verification of fractional order linear systems.
GL