Tools

LEADER 01536cam 2200385 a 4500

001 ocm17952005;

005 20141212055532.0;

008 880427s1988 wb a b 100 0 eng ;

010 a| 88015876;

020 a| 038719343X (U.S.);

035 a| (Sirsi) o17952005;

035 a| (OCoLC)17952005;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.9.A96b| I57 1988;

082 0 a| 511.32| 19;

111 2 a| International Conference on Automated Deductionn| (9th :d| 1988 :c| Argonne, Ill.)?| UNAUTHORIZED;

245 10 a| 9th International Conference on Automated Deduction :b| Argonne, Illinois, USA, May 23-26, 1988 : proceedings /c| E. Lusk, R. Overbeek (eds.).;

300 a| x, 775 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 310;

504 a| Includes bibliographies.;

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

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

700 1 a| Lusk, Ewing.=| ^A237711;

700 1 a| Overbeek, Ross A.=| ^A237712;

740 0 a| Ninth International Conference on Automated Deduction.;

830 0 a| Lecture notes in computer sciencev| 310.=| ^A466336;

919 a| BOOK;

596 a| 1;

998 a| 335021;

999 a| QA76.9.A96 I57 1988w| LCc| 1i| 30372005162349d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 1/19/1990x| BOOKz| JSTACKSo| .STAFF. 0;

9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).

Author/creator	International Conference on Automated Deduction
Other author	Lusk, Ewing.
Other author	Overbeek, Ross A.
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1988.
Description	x, 775 pages : illustrations ; 25 cm.
Subjects	Automatic theorem proving--Congresses. Logic, Symbolic and mathematical--Congresses.

Series	Lecture notes in computer science ; 310 Lecture notes in computer science 310. ^A466336
Bibliography note	Includes bibliographies.
Other title	Ninth International Conference on Automated Deduction.
LCCN	88015876
ISBN	038719343X (U.S.)

Availability

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

9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).

Click here for more information about this title

Availability