Koha online catalog › ISBD view

Normal view MARC view ISBD view

Wos, Larry

Collected works of Larry Wos. Volume 1 - Singapore: World Scientific, 2000 - xvii, 827 p.; 2 v.: 23 cm.

ISBN: 9810249969 (hbk)

Subjects--Topical Terms:
Artificial intelligence
Automatic theorem proving

Dewey Class. No.: 511.36028563 / WOS

Print
Save record
More searches