Chapter

Automated Deduction—CADE-14

Volume 1249 of the series Lecture Notes in Computer Science pp 49-52

Date:

Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses

  • Robert NieuwenhuisAffiliated withTechnical University of Catalonia
  • , José Miguel RiveroAffiliated withTechnical University of Catalonia
  • , Miguel Angel VallejoAffiliated withTechnical University of Catalonia

* Final gross prices may vary according to local VAT.

Get Access