1) Armenian girl name 2) French feminine given name
Found on
https://www.crosswordclues.com/clue/carine
CARINE is a first-order classical logic automated theorem prover. CARINE (Computer Aided Reasoning engINE) 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 depth-first search based algorithm [Haroun 2005]. CARINE`s m....
Found on
http://en.wikipedia.org/wiki/CARINE
[given name] Carine is a feminine given name. Notable people with the name include: ...
Found on
http://en.wikipedia.org/wiki/Carine_(given_name)
No exact match found.
