![]() | ![]() |
@book{DBLP:books/el/RobinsonV01,
editor = {John Alan Robinson and
Andrei Voronkov},
title = {Handbook of Automated Reasoning (in 2 volumes)},
publisher = {Elsevier and MIT Press},
year = {2001},
isbn = {0-444-50813-9, 0-262-18223-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-03-12 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page