Handbook of automated reasoning:
Saved in:
Bibliographic Details
Other Authors: Robinson, John A. 1930-2016 (Editor), Voronkov, Andrei 1959- (Editor)
Format: Electronic eBook
Language:English
Published: Amsterdam [u.a.] Elsevier [u.a.] 2001
Subjects:
Online Access:FAW01
FUBA1
URL des Erstveröffentlichers
Item Description:Online-Ressource eines mehrbändigen begrenzenten Werkes
Physical Description:1 Online-Ressource (XXV, 2122 S.)
ISBN:9780080532790

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text