DaftarIsitemplate

Call Number

006.3 Han

Title

Handbook of automated reasoning vol. 1/editor Alan Bobinson and Andrei Voronkov

Author

Publisher

Amsterdam Elsevier 2001

Subject

Artificial intelligence

Location

FASILKOM-UI;