DaftarIsitemplate
 
Call Number
006.3 Han
Title
Handbook of Automated reasoning Volume I/Editors Alan Robinson and Andrei Voronkov
Author
Publisher
Netherlands:Elsevier Science;2001
Subject
Reasoning Atomated;
Location