A fascinating country in the world of computing : your guide to automated reasoning / Larry Wos, Gail W. Pieper.

Saved in:

Bibliographic Details
Main Author:	Wos, Larry
Other Authors:	Pieper, Gail W.
Format:	Book
Language:	English
Published:	Singapore ; River Edge, NJ : World Scientific, ©1999.
Subjects:	Automatic theorem proving.

Closed Stacks - Engineering Math & Physics Library - Stacks

Holdings details from Closed Stacks - Engineering Math & Physics Library - Stacks
Call Number:	QA76.9.A96 W68 1999
QA76.9.A96 W68 1999	Available Place a Hold