Normal view MARC view ISBD view

Collected works of Larry Wos. Volume 2

By: Wos, Larry.
Contributor(s): Pieper, Gail W.
Material type: materialTypeLabelBookPublisher: Singapore: World Scientific, 2000Description: xvii, 829 - 1639 pp.; 2 v.: 23 cm.ISBN: 9810249985 .Subject(s): Artificial intelligence | Automatic theorem provingDDC classification: 511.36028563
Tags from this library: No tags from this library for this title. Log in to add tags.

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha