Tools

LEADER 02555cam a22005777a 4500

001 ssj0000318873;

003 WaSeSS;

005 20200412081236.0;

006 m d ;

007 cr n ;

008 050124s2005 gw a s 011 0 eng d;

010 a| 2005921072;

016 7 a| 9735673682| GyFmDB;

020 a| 3540250514 (pbk.);

024 4 a| 9783540250517;

035 a| (WaSeSS)ssj0000318873;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA76.9.A96b| M43 2005;

072 7 a| QA2| lcco;

082 00 a| 511.3/6/0285632| 22;

245 00 a| Mechanizing mathematical reasoningh| [electronic resource] :b| essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday /c| Dieter Hutter, Werner Stephan (eds.).;

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

300 a| ix, 563 p. :b| ill. ;c| 24 cm.;

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

500 a| Festschrift.;

504 a| Includes bibliographical references and index.;

506 a| Available only to authorized users.;

530 a| Also issued online.;

538 a| Mode of access: World Wide Web;

650 0 a| Automatic theorem proving.=| ^A88007;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

650 0 a| Reasoningx| Automation.=| ^A18484;

650 0 a| Reasoningx| Technique.=| ^A18484;

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

700 1 a| Siekmann, Jörg H.=| ^A206467;

700 1 a| Hutter, Dieter.=| ^A422972;

700 1 a| Stephan, Werner.=| ^A596112;

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

830 0 a| Lecture notes in artifical intelligence.?| UNAUTHORIZED;

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-25051-7;

947 a| (OCoLC)ocm58422010;

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| 4177729;

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

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

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

Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday / Dieter Hutter, Werner Stephan (eds.).

Other author	Siekmann, Jörg H.
Other author	Hutter, Dieter.
Other author	Stephan, Werner.
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	ix, 563 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Automatic theorem proving. Logic, Symbolic and mathematical. Reasoning--Automation. Reasoning--Technique.

Series	Lecture notes in computer science, 0302-9743 ; 2605. Lecture notes in artifical intelligence Lecture notes in computer science 2605. ^A466336 Lecture notes in artifical intelligence. UNAUTHORIZED
General note	Festschrift.
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Other forms	Also issued online.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2005921072
ISBN	3540250514 (pbk.)
SICI	9783540250517

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday / Dieter Hutter, Werner Stephan (eds.).

Click here for more information about this title

Availability