Isabelle

Übersetzung von "isabelle" ins Russisch

Eigenname

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.

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

Weitere Übersetzungen

Isabelle

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

Eigenname

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.