Koha online catalog › ISBD view

Normal view MARC view ISBD view

Wos, Larry

Collected works of Larry Wos. Volume 2 - Singapore: World Scientific, 2000 - xvii, 829 - 1639 pp.; 2 v.: 23 cm.

ISBN: 9810249985 (hbk)

Subjects--Topical Terms:
Artificial intelligence
Automatic theorem proving

Dewey Class. No.: 511.36028563 / WOS

Print
Save record
More searches