Tools

LEADER 01663cam 2200385 a 4500

001 ocm22184493;

005 20141212082811.0;

008 900718s1990 gw a 101 0 eng ;

010 a| 90010125;

020 a| 0387528857 (U.S.);

035 a| (Sirsi) o22184493;

035 a| (OCoLC)22184493;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

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

082 00 a| 511.32| 20;

111 2 a| International Conference on Automated Deductionn| (10th :d| 1990 :c| Kaiserslautern, Germany)?| UNAUTHORIZED;

245 10 a| Proceedings :b| 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 /c| M.E. Stickel, (ed.).;

300 a| xvi, 688 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. Lecture notes in artificial intelligence;

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

504 a| Includes biblioigraphical references and index.;

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

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

700 1 a| Stickel, M. E.q| (Mark E.),d| 1947-=| ^A269307;

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

830 0 a| Lecture notes in computer science.p| Lecture notes in artificial intelligence.=| ^A467263;

919 a| BOOK;

596 a| 1;

998 a| 387091;

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

Proceedings 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 / M.E. Stickel, (ed.).

Author/creator	International Conference on Automated Deduction
Other author	Stickel, M. E. (Mark E.), 1947-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1990.
Description	xvi, 688 pages : illustrations ; 24 cm.
Subjects	Automatic theorem proving--Congresses. Logic, Symbolic and mathematical--Congresses.

Series	Lecture notes in computer science. Lecture notes in artificial intelligence Lecture notes in computer science ; 449 Lecture notes in computer science 449. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography note	Includes biblioigraphical references and index.
LCCN	90010125
ISBN	0387528857 (U.S.)

Availability

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

Proceedings 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 / M.E. Stickel, (ed.).

Click here for more information about this title

Availability