Tools

LEADER 01528cam 2200385Ia 4500

001 ocm56492378;

003 OCoLC;

005 20141212180651.0;

008 040910s2004 gw a 101 0 eng d;

010 a| 2004111288;

020 a| 3540230173 (pbk.);

035 a| (Sirsi) o56492378;

035 a| (OCoLC)56492378;

049 a| EREE;

090 a| QA76.9.A96b| T655 2004;

111 2 a| TPHOLsn| (17th :d| 2004 :c| Park City, Utah)=| ^A586212;

245 10 a| Theorem proving in higher order logics :b| 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings /c| Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.).;

246 30 a| TPHOLs 2004;

260 a| Berlin ;a| New York :b| Springer,c| 2004.;

300 a| viii, 336 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 ;v| 3223;

504 a| Includes bibliographical references and index.;

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

700 1 a| Slind, Konrad.=| ^A586213;

700 1 a| Bunker, Annette.=| ^A586214;

700 1 a| Gopalakrishnan, Ganesh.=| ^A410599;

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

994 a| X0b| ERE;

596 a| 1;

998 a| 980760;

999 a| QA76.9.A96 T655 2004w| LCc| 1i| 30372012620958d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERp| $63.65r| Ys| Yt| JGESBKu| 11/11/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings / Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.).

Author/creator	TPHOLs
Other author	Slind, Konrad.
Other author	Bunker, Annette.
Other author	Gopalakrishnan, Ganesh.
Format	Book
Publication Info	Berlin ; New York : Springer, 2004.
Description	viii, 336 pages : illustrations ; 24 cm.
Subjects	Automatic theorem proving--Congresses.

Portion of title	TPHOLs 2004
Series	Lecture notes in computer science ; 3223 Lecture notes in computer science 3223. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	2004111288
ISBN	3540230173 (pbk.)

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings / Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.).

Click here for more information about this title