Normale Ansicht MARC ISBD

Handbook of automated reasoning Ed.: Alan Robinson ...

Handbook of automated reasoning

ISBN: 0444508139 0262182238

Nat. Bib. Agency Control No.: bA1Y1226 UK

Subjects--Topical Terms:
Artificial intelligence
Machine learning
Automatic theorem proving
Qualitative reasoning

Subjects--Index Terms:

Dewey Class. No.: 006.333