Tools

LEADER 01245cam a2200349 a 4500

001 ocm10099218;

005 20141212065323.0;

008 831019s1984 njua b 001 0 eng ;

010 a| 83022968;

020 a| 0130544531;

020 a| 0130544469 (pbk.);

035 a| (Sirsi) o10099218;

035 a| (OCoLC)10099218;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREEa| EREE;

050 00 a| QA76.9.A96b| A93 1984;

082 0 a| 001.53/52| 19;

245 00 a| Automated reasoning :b| introduction and applications /c| Larry Wos [and others].;

300 a| xiv, 482 pages :b| illustrations ;c| 24 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references and index.;

650 0 a| Automatic theorem proving.=| ^A88007;

650 0 a| Artificial intelligence.=| ^A15394;

650 0 a| Computer programming.=| ^A33242;

700 1 a| Wos, Larry.=| ^A181399;

919 a| BOOK;

596 a| 1;

998 a| 250009;

999 a| QA76.9.A96 A93 1984w| LCc| 1i| 30372003552202d| 3/6/2013e| 8/16/1999f| 3/6/2013g| 1l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 3/3/1989x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Automated reasoning : introduction and applications / Larry Wos [and others].

Other author	Wos, Larry.
Format	Book
Publication Info	Englewood Cliffs, N.J. : Prentice-Hall, ©1984.
Description	xiv, 482 pages : illustrations ; 24 cm
Subjects	Automatic theorem proving. Artificial intelligence. Computer programming.

Bibliography note	Includes bibliographical references and index.
LCCN	83022968
ISBN	0130544531
ISBN	0130544469 (pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.A96 A93 1984	✔ Available	Place Hold

Automated reasoning : introduction and applications / Larry Wos [and others].

Click here for more information about this title

Availability