Carine

Carine

Carine may refer to

* Carine, Western Australia, a suburb of Perth
* some species of owls, including
** Little Owl (Carine noctua/Athene noctua)
** Rodrigues Owl (Carine murivora/Mascarenotus murivorus)
* people named Carine
** Carine Adler (b. 1948) Brazilian film director
** Carine Roitfeld (b. 1954) Editor-in-Chief of French Vogue magazine
** Cairine Wilson (1885 – 1962) Canadian senator
* Carine theorem prover, a mathematical concept. See CARINE


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • CARINE — is a first order classical logic automated theorem prover. CARINE is a resolution based theorem prover initially built for the study of the enhancement effects of the strategies delayed clause construction (DCC) and attribute sequences (ATS) in a …   Wikipedia

  • cariné — cariné, ée (ka ri né, née) adj. Terme de botanique. Se dit d une feuille dont le milieu est creusé en gouttière. ÉTYMOLOGIE    Carina, carène …   Dictionnaire de la Langue Française d'Émile Littré

  • CARINE — urbs circa Caicum fluv. in Asia minore. Herodot. l. 7. Ita exercitus e Lydia perrexit ad flumen Caicum, et regionem Mysiam, ἀπὸ δὲ Κκΐκου ὁρμεώμενος Κάνης ὄρος εἶχον εν ἀριςτερῇ διὰ τȏυ Α᾿ταρνίος ἐς Καρίνην πόλιν. Cherima Nigro …   Hofmann J. Lexicon universale

  • Carine — Porté à la Réunion et dans le Loir et Cher, le nom est rare. C est un nom de baptême (diminutif formé sur le latin carus = cher, aimé) popularisé par une sainte du IVe siècle, martyrisée à Ancyre (Ankara) …   Noms de famille

  • Carine — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Carine est un prénom féminin francophone dérivé du latin carus, signifiant : bien aimée, chère. Sa fête est le 7 novembre. Prénom Pour les articles… …   Wikipédia en Français

  • Carine — This famous Manx (Isle of Man) surname has no connection with the more usual spelling of Crane , which is of Anglo Saxon origins, other than that they are both in a sense nicknames. The Manx Crain derives from the Old Gaelic Mac Ciarain , which… …   Surnames reference

  • Carine — Provenance. Vient du latin carus Signifie : bien aimé, cher Se fête le 7 novembre Histoire. Chrétienne vivant à Ancyre en Asie Mineure, au IVème siècle, Carine est arrêtée et martyrisée avec son mari Mélasippe et Antoine, leur fils, vers 363… …   Dictionnaire des prénoms français, arabes et bretons

  • carine — La Carine, Le fond, ou Pance de la navire, Tropis, Carina. Aucuns dient Garene …   Thresor de la langue françoyse

  • Carine Roitfeld — Naissance 19 septembre 1954 (1954 09 19) (57 ans) Paris Nationalité …   Wikipédia en Français

  • Carine Erseng — Activité principale Auteur compositeur interprète Genre musical Variété Pop Années d activité 2000 Présente Labels Non signée Site officiel …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”