Sugesti mallongigon Aldoni al legosignoj Printi la paĝon Serĉi mallongigon AkceptejoHOL Kio signifas HOL? Kodo Signifo Lingvo Temoj kaj lokoj HOL High-Order Language En la angla Programlingvoj HOL High Order Language En la angla Programlingvoj