Tools

LEADER 02532cam a22004814a 4500

001 ssj0000321535;

003 WaSeSS;

005 20240412080346.0;

006 m d ;

007 cr n ;

008 020621s2002 gw a s 100 0 eng d;

010 a| 2002026687;

020 a| 3540439315 (pbk. : alk paper);

035 a| (WaSeSS)ssj0000321535;

040 a| DLCc| DLCd| DLCd| WaSeSS;

042 a| pcc;

049 a| EREEa| NEHH;

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

082 00 a| 006.3/332| 21;

111 2 a| International Conference on Automated Deductionn| (18th :d| 2002 :c| Copenhagen, Denmark)?| UNAUTHORIZED;

245 10 a| Automated deduction-CADE-18h| [electronic resource] :b| 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings /c| Andrei Voronkov, ed.;

260 a| Berlin ;a| New York :b| Springer,;

300 a| xii, 534 p. :b| ill. ;c| 25 cm.;

490 1 a| Lecture notes in computer science,x| 0302-9743 ;v| 2392.a| Lecture notes in artificial intelligence;

504 a| Includes bibliographical references and index.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

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

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

655 0 a| Electronic books.=| ^A491897;

700 1 a| Voronkov, Andrei,d| 1959-=| ^A294233;

830 0 a| Lecture notes in computer science ;v| 2392.=| ^A466336;

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

856 40 z| Full text available from Springer Booksu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F3-540-45620-1;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-540-43931-8;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 3982883;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3982883-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3982883-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/1/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3982883-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

Automated deduction-CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings / Andrei Voronkov, ed.

Author/creator	International Conference on Automated Deduction
Other author	Voronkov, Andrei, 1959-
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xii, 534 p. : ill. ; 25 cm.
Supplemental Content	Full text available from Springer Books
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Automatic theorem proving--Congresses. Logic, Symbolic and mathematical--Congresses.

Series	Lecture notes in computer science, 0302-9743 ; 2392. Lecture notes in artificial intelligence Lecture notes in computer science ; 2392. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2002026687
ISBN	3540439315 (pbk. : alk paper)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Online Content Full text available from Springer Books Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)	✔ Available

Automated deduction-CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings / Andrei Voronkov, ed.

Click here for more information about this title

Availability