Algorithms, datastructures, and other issues in efficient automated deduction (2001)

Cached

Download Links

by Andrei Voronkov
Venue:Automated Reasoning. 1st. International Joint Conference, IJCAR 2001, number 2083 in LNAI
Citations:11 - 0 self