Tools

LEADER 01707cam a2200421 a 4500

001 ocm10723349;

003 OCoLC;

005 20141212180925.0;

008 840412s1984 riu b 100 0 eng ;

010 a| 84009226;

020 a| 082185027X (pbk.);

035 a| (Sirsi) o10723349;

035 a| (OCoLC)10723349;

049 a| EREE;

050 00 a| QA76.9.A96b| S64 1983;

082 00 a| 511.32| 19;

092 a| 511.3b| Sp3a;

111 2 a| Special Session on Automatic Theorem Provingd| (1983 :c| Denver, Colo.)=| ^A311446;

245 10 a| Automated theorem proving :b| after 25 years /c| W.W. Bledsoe and D.W. Loveland, editors.;

260 a| Providence, R.I. :b| American Mathematical Society,c| 1984.;

300 a| ix, 360 pages ;c| 26 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Contemporary mathematics,x| 0271-4132 ;v| v. 29;

500 a| "Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--T.p. verso.;

504 a| Includes bibliographies.;

650 0 a| Automatic theorem provingv| Congresses.=| ^A24746;

700 1 a| Bledsoe, W. W.=| ^A311447;

700 1 a| Loveland, Donald W.=| ^A88006;

710 2 a| American Mathematical Society.=| ^A16427;

830 0 a| Contemporary mathematics (American Mathematical Society)v| v. 29.=| ^A654475;

994 a| X0b| ERE;

590 a| Little-249876;

596 a| 1;

998 a| 983340;

999 a| QA76.9.A96 S64 1983w| LCc| 1i| 30372013293961d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERp| $44.00r| Ys| Yt| JGESBKu| 12/21/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors.

Author/creator	Special Session on Automatic Theorem Proving
Other author	Bledsoe, W. W.
Other author	Loveland, Donald W.
Other author	American Mathematical Society.
Format	Book
Publication Info	Providence, R.I. : American Mathematical Society, 1984.
Description	ix, 360 pages ; 26 cm.
Subjects	Automatic theorem proving--Congresses.

Series	Contemporary mathematics, 0271-4132 ; v. 29 Contemporary mathematics (American Mathematical Society) v. 29. ^A654475
Local note	Little-249876
General note	"Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--T.p. verso.
Bibliography note	Includes bibliographies.
LCCN	84009226
ISBN	082185027X (pbk.)

Availability

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

Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors.

Click here for more information about this title

Availability