3 results for 'Ian Horrocks'

Sidebar Sidebar Sidebar
Did you mean: ian herrick Refine Search
  • Automated Deduction - CADE-18 Automated Deduction - CADE-18
    Add to Cart The item has been added

    Automated Deduction - CADE-18

    The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27-30th, 2002, at the...
    $122.00

    Add to Cart The item has been added
  • KI 2005 KI 2005
    Add to Cart The item has been added

    KI 2005

    ThisvolumecontainstheresearchpaperspresentedatKI2005,the28thGerman Conference on Arti?cial Intelligence, held September 11-14, 2005 in Koblenz, Germany. KI 2005 was part of the International...
    $122.00

    Add to Cart The item has been added
  • Advances in Database Technology - EDBT 2002 Advances in Database Technology - EDBT 2002
    Add to Cart The item has been added

    Advances in Database Technology - EDBT 2002

    The Eighth International Conference on Extending Database Technology, EDBT 2002, was held in Prague, Czech Republic, March 25-27, 2002. It marks the 50th anniversary of Charles University's Faculty...
    $227.00

    Add to Cart The item has been added