Tools

LEADER 01921cam a2200493Ia 4500

001 ocm58422010;

003 OCoLC;

005 20141212182046.0;

008 050304s2005 gw a 011 0 eng d;

010 a| 2005921072;

016 7 a| 9735673682| GyFmDB;

020 a| 3540250514 (pbk.);

024 4 a| 9783540250517;

035 a| (Sirsi) o58422010;

035 a| (OCoLC)58422010;

040 a| OHXc| OHXd| CUSd| UtOrBLW;

049 a| EREE;

072 7 a| QA2| lcco;

090 a| QA76.9.A96b| M43 2005;

245 00 a| Mechanizing mathematical reasoning :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,c| 2005.;

300 a| ix, 563 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,x| 0302-9743 ;v| 2605.a| Lecture notes in artifical intelligence;

500 a| Festschrift.;

504 a| Includes bibliographical references and index.;

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;

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 computer science.p| Lecture notes in artificial intelligence.=| ^A467263;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har050019182c| 69.55 EUR;

980 a| 2005-04-27b| 91d| 0e| 86.45f| 586299;

596 a| 1;

998 a| 994992;

999 a| QA76.9.A96 M43 2005w| LCc| 1i| 30372012767569d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERp| $86.45r| Ys| Yt| JGESBKu| 5/6/2005x| BOOKz| JSTACKSo| .STAFF. 0;

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	Book
Publication Info	Berlin ; New York : Springer, 2005.
Description	ix, 563 pages : illustrations ; 24 cm.
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 computer science. Lecture notes in artificial intelligence. ^A467263
General note	Festschrift.
Bibliography note	Includes bibliographical references and index.
LCCN	2005921072
ISBN	3540250514 (pbk.)
SICI	9783540250517

Availability

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

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