Isabelle

Перевод слова "isabelle" на Русский язык

Собственное существительное

Isabelle

Isabelles

Used primarily as a female given name; also the name of a theorem-proving software. Treated as a proper noun.

женское имя

Isabelle always signed her paintings with just her first name.

Изабель всегда подписывала свои картины только своим именем.

Дополнительные переводы

Isabelle

программа: интерактивный доказатель теорем

Собственное существительное

A female given name, occasionally used by English speakers; a variant of Isabel.

Isabelle always signed her paintings with just her first name.

(computing) An interactive theorem prover based on higher-order logic.

The proof was formalised in Isabelle before publication.