أدخل كلمة أو عبارة بأي لغة 👆
اللغة:
ترجمة وتحليل الكلمات عن طريق الذكاء الاصطناعي ChatGPT
في هذه الصفحة يمكنك الحصول على تحليل مفصل لكلمة أو عبارة باستخدام أفضل تقنيات الذكاء الاصطناعي المتوفرة اليوم:
- كيف يتم استخدام الكلمة في اللغة
- تردد الكلمة
- ما إذا كانت الكلمة تستخدم في كثير من الأحيان في اللغة المنطوقة أو المكتوبة
- خيارات الترجمة إلى الروسية أو الإسبانية، على التوالي
- أمثلة على استخدام الكلمة (عدة عبارات مع الترجمة)
- أصل الكلمة
%ما هو (من)٪ 1 - تعريف
WIKIMEDIA DISAMBIGUATION PAGE
HoL; HOL (disambiguation); Hol (disambiguation)
AD 88
YEAR
88 AD; LXXXVIII; 88 (year); Year 88; 88 CE; Events in 88; Births in 88; Deaths in 88
AD 88 (LXXXVIII) was a leap year starting on Tuesday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Augustus and Rufus (or, less frequently, year 841 Ab urbe condita).
HOL
![Photo of [[Terje Isungset]] taken by [[Knut Bry]] 2015](https://commons.wikimedia.org/wiki/Special:FilePath/P9140112-Exposure lag kvalitet.jpg?width=200 "Photo of [[Terje Isungset]] taken by [[Knut Bry]] 2015")
MUNICIPALITY IN VIKEN, NORWAY
Old Hol Church; Hol (village); Hol Municipality
Higher Order Logic. A proof-generating system for {higher
order logic} based on LCF. Implementations include HOL-88
and HOL-90.
hol">ftp://ted.cs.uidaho.edu/pub/hol. Mailing list:
info-hol@ted.cs.uidaho.edu.
["HOL: A Machine Oriented Formulation of Higher Order Logic",
M.J.C. Gordon, Report 68, Comp Lab U Cambridge (1985) ].
["Introduction to HOL", M.J.C. Gordon et al, Cambridge U Press
1993 ISBN 0-521-441897 ].
