Koha online

Normal view MARC view ISBD view

Robinson, J. Alan

Handbook of automated reasoning, Volume 1 - Cambridge: The MIT Press, 2001 - 970 p.; Index.: 24 cm.

ISBN: 0444829490 (hbk)

Subjects--Topical Terms:
Automated reasoning
Automatic theorem proving
Handbook
Qualitative reasoning
Reasoning

Dewey Class. No.: 511.3 / ROB