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