Tools

LEADER 01584cam 2200373 a 4500

001 ocm10697234;

005 20141212085548.0;

008 840328s1984 wb a b 100 0 eng ;

010 a| 84005441;

020 a| 0387960228 (U.S. : pbk.);

035 a| (Sirsi) o10697234;

035 a| (OCoLC)10697234;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

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

082 0 a| 511.32| 19;

111 2 a| International Conference on Automated Deductionn| (7th :d| 1984 :c| Napa, Calif.)?| UNAUTHORIZED;

245 10 a| 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 :b| proceedings /c| edited by R.E. Shostak.;

260 a| Berlin ;a| New York :b| Springer-Verlag,c| 1984.;

300 a| vi, 508 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

504 a| Includes bibliographies.;

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

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

700 1 a| Shostak, Robert,d| 1931-=| ^A184039;

740 0 a| Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984.;

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

919 a| BOOK;

596 a| 1;

998 a| 275195;

999 a| QA76.9.A96 C66 1984w| LCc| 1i| 30372004102858d| 3/6/2013e| 6/22/1992f| 3/6/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/3/1989x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 proceedings / edited by R.E. Shostak.

Author/creator	International Conference on Automated Deduction
Other author	Shostak, Robert, 1931-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, 1984.
Description	vi, 508 pages : illustrations ; 24 cm.
Subjects	Automatic theorem proving--Congresses. Logic, Symbolic and mathematical--Congresses.

Series	Lecture notes in computer science ; 170 Lecture notes in computer science 170. ^A466336
Bibliography note	Includes bibliographies.
Other title	Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984.
LCCN	84005441
ISBN	0387960228 (U.S. : pbk.)

Availability

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

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 proceedings / edited by R.E. Shostak.

Click here for more information about this title

Availability