Normal view MARC view ISBD view

Fascinating country in the world of computing : your guide to automated reasoning

By: Wos, Larry.
Contributor(s): Pieper, Gail W.
Material type: materialTypeLabelBookPublisher: Singapore: World Scientific, 1999Description: xx, 587 p.; : 23 cm.ISBN: 9810239106 .Subject(s): Artificial intelligence | Automatic theorem proving | Computer programming | Otter (Computer file)DDC classification: 511.3028553
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number Status Date due Barcode
CD-DVDs CD-DVDs 511.3028553 WOS (Browse shelf) Available C01249
Books 511.3028553 WOS (Browse shelf) Available 015692

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha