NUST Institutions Library Catalogue catalog › Details for: The Collected Works of Larry Wos Vol 1 Exploring the Power of Automated Reasoning

Normal view MARC view ISBD view

The Collected Works of Larry Wos Vol 1 Exploring the Power of Automated Reasoning

By: Larry Wos, Gail W. Pieper Material type: Text

TextPublisher: Singapore World Scientific Company 2000Description: Xvii,827ISBN: 981-02-4996-9DDC classification: 511.3

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Home library	Call number	Status	Date due	Barcode	Item holds
Book	School of Natural Sciences (SNS)	School of Natural Sciences (SNS)	511.3WOS (Browse shelf)	Available		SNS0002953

Total holds: 0

Previous								Next
Previous	510ICM Abstracts Short Communications Poster Sessions	510SOS Knots Mathematics with a Twist	511.3CHO Proceedings of the Sixth Asian LogicConference	511.3WOS The Collected Works of Larry Wos Vol 1 Exploring the Power of Automated Reasoning	511.4CHE 2000 Introduction to Approximation Theory	511.6BRU Introductory Combinatorics	511.6YAG Challenging Mathematical problemsWith Elementary Solutions Volume I:	Next

There are no comments on this title.

to post a comment.