Isabelle de Charrière (French pronunciation: [izabɛl də ʃaʁjɛʁ]; 20 October 1740 – 27 December 1805), known as Belle van Zuylen in the Netherlands, née...
34 KB (3,530 words) - 00:07, 2 May 2024
The Isabelle automated theorem prover is a higher-order logic (HOL) theorem prover, written in Standard ML and Scala. As an LCF-style theorem prover, it...
13 KB (1,258 words) - 19:21, 29 February 2024
Isabelle de Meulan, Dame de Mayenne, Dame de Craon (c. 1148 – 10 May 1220) was a French noblewoman, being the daughter of Waleran de Beaumont, 1st Earl...
6 KB (507 words) - 20:47, 13 May 2024
John VIII, Count of Vendôme (redirect from Jean VIII de Vendôme)
construction. In 1454, he married Isabelle de Beauvau, daughter of Louis de Beauvau, Marshal of Provence and Marguerite de Chambley. They had: Jeanne (1460-1487)...
5 KB (352 words) - 19:19, 28 April 2024
Isabelle Ferreras (born 21 August 1975) is a Belgian sociologist and a political scientist. She is a professor of sociology at the University of Louvain...
21 KB (2,258 words) - 16:30, 29 March 2024
Marie Isabelle Gabrielle Angélique de Saint-Nectaire, Duchesse de La Ferté-Senneterre (née de La Mothe-Houdancourt; 1654 - 1726) was a French noblewoman...
4 KB (301 words) - 14:38, 25 August 2023
Scarecrow Press, p. 16, ISBN 978-0810870383, ADJANI, ISABELLE (1955-). Actress and producer. Isabelle Yasemin Adjani was born in Gennevilliers, France, the...
23 KB (2,186 words) - 04:15, 20 April 2024
Isabella of Hainault (redirect from Isabelle of Hainaut)
Hainaut" . Encyclopædia Britannica. Vol. 14 (11th ed.). Cambridge University Press. p. 860. Wikimedia Commons has media related to Isabelle of Hainault....
9 KB (947 words) - 21:14, 18 April 2024
House of Bourbon (redirect from Isabelle de Bourbon)
└─>Gérard de Bourbon, seigneur de Clessy │ X 1) Jeanne de Chastillon │ X 2) Alix de Bourbon-Montperoux │ │ │ └─>Isabelle, Dame de Clessy │ X 1) Bernard de Montaigu-Listenois...
109 KB (10,892 words) - 17:35, 1 May 2024
Catholic Cause in Normandy. Cambridge: Cambridge University Press, 2005. ISBN 0521023874. Cloulas, Ivan (1979). Catherine de Médicis: Le destin d'une reine...
82 KB (10,643 words) - 20:00, 5 May 2024