Isabelle الإنجليزية (Q3073772)
higher-order logic (HOL) automated theorem prover الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | Isabelle |
higher-order logic (HOL) automated theorem prover |
بيانات
Wikidata item الإنجليزية
instance of الإنجليزية
Freebase ID الإنجليزية
copyright license الإنجليزية
official website الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
operating system الإنجليزية
developer الإنجليزية
inception الإنجليزية
image الإنجليزية
programmed in الإنجليزية
has use الإنجليزية
copyright status الإنجليزية
Stack Exchange tag الإنجليزية
وصلات الموقع
Marefa(٠ : لا وصلات)
ويكيبيديا(٤ وصلات)
- dewiki Isabelle (Theorembeweiser)
- enwiki Isabelle (proof assistant)
- eswiki Isabelle
- frwiki Isabelle (logiciel)