Leo II (theorem Prover)
   HOME

TheInfoList



OR:

Leo II (or Leon II) may refer to:


People

* Leo II (emperor), Byzantine emperor who reigned from January 18 to November 17, 474 * Pope Leo II, pope from August 682 to July 683 * Leon II of Abkhazia (767/68–811/12) * Leo II (1150–1219), King of Armenia, sometimes referred to as Leo I, King of Armenia or Levon I of Armenia, initially known as Prince Leo II *
Leo II, King of Armenia Leo II or Leon II (occasionally numbered Leo III; , ''Levon II''; c. 1236 – 1289) was king of the Armenian Kingdom of Cilicia, ruling from 1269''Cambridge Medieval History'', Volume IV, p. 634/1270 to 1289. He was the son of King Hetoum I ...
(1236–1289), sometimes also referred to as Leo III *
Leo II of Halych Leo II of Galicia, also known as ''Lev Yurevich'' (unknown – 1323) was Prince of Lutsk and Galicia, one of the last two Rurikid kings of Rus` (r. 1308–1323; according to some sources, 1315–23). He was a member of the senior branch of ...
(d. 1323)


Other

*
Leo II (dwarf galaxy) Leo II (or Leo B) is a dwarf spheroidal galaxy about 690,000 light-years away in the constellation Leo. It is one of 24 known satellite galaxies of the Milky Way. Leo II is thought to have a core radius of 178 ± 13 pc and a tidal radius of 63 ...
, a dwarf galaxy discovered in 1950 *
LEO II (computer) The LEO I (Lyons Electronic Office I) was the first computer used for commercial business applications. The prototype LEO I was modelled closely on the Cambridge EDSAC. Its construction was overseen by Oliver Standingford, Raymond Thompson and D ...
, an early commercial programmable computer *Leo II (theorem prover), an
automated theorem prover Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a maj ...
*
Leopard 2 The Leopard 2 is a 3rd generation main battle tank originally developed by Krauss-Maffei in the 1970s for the West German army. The tank first entered service in 1979 and succeeded the earlier Leopard 1 as the main battle tank of the West Germ ...
, a German battle tank {{disambig, hn tr:II. Leo