Date: 08 Jun 2005

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

* Final gross prices may vary according to local VAT.

Get Access