Cheney

Results: 634



#Item
571Data / Database theory / Relational database management systems / Database management systems / SQL / Language Integrated Query / XQuery / Database index / Database / Data management / Computing / Query languages

Using Links to prototype a Database Wiki James Cheney, Sam Lindley

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2011-08-17 13:41:09
572Natural Resources Defense Council / Energy Task Force / Dick Cheney / Government / United States / Freedom of information legislation / Freedom of Information Act / Politics of the United States

UNITED STATES DISTRICT COURT FOR THE DISTRICT OF COLUMBIA _________________________________________

Add to Reading List

Source URL: www.nrdc.org

Language: English - Date: 2002-10-31 16:50:00
573Virginia / The Pentagon / Hani Hanjour / 9/11 conspiracy theories / Arlington County /  Virginia / Arlington County Fire Department / Enver Masud / Barbara Olson / September 11 attacks / Aviation accidents and incidents / American Airlines Flight 77

9/11: EVIDENCE OF COMPLICITY AND COVER-UP AT THE PENTAGON Probable cause that Vice President Cheney, Solicitor General Olson, Defense Secretary Rumsfeld, and others were involved

Add to Reading List

Source URL: www.twf.org

Language: English - Date: 2013-03-03 13:57:41
574

CHENEY TECHNICAL HIGH SCHOOL WELCOMES YOU

Add to Reading List

Source URL: www.cttech.org

- Date: 2014-02-25 13:23:49
    575Report card / Howell Cheney Technical High School

    September 28, 2012 Dear Parents and Guardians,

    Add to Reading List

    Source URL: www.cttech.org

    Language: English - Date: 2014-05-13 10:14:22
    576Statistical theory / Unification / Symbol / Exponentiation / Mathematical analysis / Mathematics / Abstract algebra / Completeness

    The Complexity of Equivariant Unification James Cheney Cornell University

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2004-10-28 08:33:46
    577Mathematics / Unification / Nominal terms / Admissible rule / Orbifold / Natural deduction / Mathematical logic / Logic / Symbol

    Relating Nominal and Higher-Order Pattern Unification James Cheney

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2005-05-04 14:27:22
    578Symbol / Analytic functions / Connection / Differential geometry / Mathematics / Artificial intelligence / Automated theorem proving / Logic programming / Unification

    Equivariant Unification James Cheney University of Edinburgh

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2005-02-14 06:03:16
    579Type theory / Lambda calculus / Functional programming / Data types / Theoretical computer science / Unification / Generic programming / Higher-order abstract syntax / De Bruijn index / Software engineering / Mathematics / Computing

    Scrap your Nameplate (Functional Pearl) James Cheney

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2005-07-12 06:34:19
    580Proof theory / Model theory / Admissible rule / Modal logic / Natural deduction / Symbol / Sequent calculus / Parity of a permutation / Interpretation / Logic / Mathematical logic / Mathematics

    A Simpler Proof Theory for Nominal Logic James Cheney University of Edinburgh

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2005-02-14 05:42:09
    UPDATE