1 result for 'Robert Nieuwenhuis'

Sidebar Sidebar Sidebar
  • Automated Deduction - CADE-16 Automated Deduction - CADE-16
    Add to Cart The item has been added

    Automated Deduction - CADE-16

    This volume contains the papers presented at the Sixteenth International Conference on Automated Deduction (CADE-16), held in Trento, Italy, July 7{10, 1999, and hosted by Istituto Trentino di...
    $116.00

    Add to Cart The item has been added