, Volume 36, Issue 4, p 287
Date: 15 Dec 2006

Empirically Successful Automated Reasoning: Systems Issue

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access