Tools

LEADER 01585cam 2200385 a 4500

001 ocm13916345;

005 20141212101546.0;

008 860714s1986 wb a b 100 0 eng ;

010 a| 86017726;

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

020 a| 3540167803;

035 a| (Sirsi) o13916345;

035 a| (OCoLC)13916345;

049 a| EREE;

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

082 0 a| 511.32| 19;

111 2 a| International Conference on Automated Deductionn| (8th :d| 1986 :c| Oxford, Oxfordshire)?| UNAUTHORIZED;

245 10 a| 8th International Conference on Automated Deduction :b| Oxford, England, July 27-August 1, 1986 : proceedings /c| edited by Jörg H. Siekmann.;

300 a| ix, 708 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| 230;

504 a| Includes bibliographies.;

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

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

700 1 a| Siekmann, Jörg H.=| ^A206467;

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

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

919 a| BOOK;

596 a| 1;

998 a| 284918;

999 a| QA76.9.A96 I57 1986w| LCc| 1i| 30372004196835d| 3/6/2013e| 3/30/1993f| 3/6/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/3/1989x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

8th International Conference on Automated Deduction Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann.

Author/creator	International Conference on Automated Deduction
Other author	Siekmann, Jörg H.
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1986.
Description	ix, 708 pages : illustrations ; 25 cm.
Subjects	Automatic theorem proving--Congresses. Logic, Symbolic and mathematical--Congresses.

Series	Lecture notes in computer science ; 230 Lecture notes in computer science 230. ^A466336
Bibliography note	Includes bibliographies.
Other title	Eighth International Conference on Automated Deduction.
LCCN	86017726
ISBN	0387167803 (U.S. : pbk.)
ISBN	3540167803

Availability

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

8th International Conference on Automated Deduction Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann.

Click here for more information about this title

Availability