ISABELLE

ISABELLE was a 200+200 GeV proton-proton colliding beam particle accelerator partially built by the United States government at Brookhaven National Laboratory in Upton, New York, before it was cancelled in July, 1983. ==Colliding beam accelerators== A colliding beam, storage ring accelerator was first proposed by Gerard O`Neill of Princeton in 19....
Found on http://en.wikipedia.org/wiki/ISABELLE

Isabelle

[proof assistant] The Isabelle theorem prover is an interactive theorem prover, successor of the Higher Order Logic (HOL) theorem prover. It is an LCF-style theorem prover (written in Standard ML), so it is based on a small logical core guaranteeing logical correctness. Isabelle is generic: it provides a meta-logic (a weak type theory), whi...
Found on http://en.wikipedia.org/wiki/Isabelle_(proof_assistant)

Isabelle

Isabelle is a French name for girls. The meaning is `devoted to God` The name Isabelle is most commonly given to English and Welsh girls. Isabelle is at number 18 in the top 50 of English and Welsh girls (average of 10 years data) What do they use in other countries? Isabella (English, Italian, Spanish, Dutch) Izzy (English) Iza (Dutch) Ise (Dutch)...
Found on https://www.pregnology.com/names/girls/Isabelle
No exact match found