Tools

LEADER 01950cam 2200481Ia 4500

001 ocm61321024;

003 OCoLC;

005 20141211183600.0;

007 cr un- ;

008 050819s2005 gw 101 0 eng d;

010 a| 2005930490;

020 a| 3540283722 (pbk.);

024 3 a| 9783540283722;

035 a| (Sirsi) o61321024;

035 a| (OCoLC)61321024;

049 a| EREE;

072 7 a| QA2| lcco;

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

111 2 a| TPHOLsn| (18th :d| 2005 :c| Oxford, England)=| ^A606518;

245 10 a| Theorem proving in higher order logics :b| 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings /c| Joe Hurd, Tom Melham (eds.).;

246 30 a| TPHOLs 2005;

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

300 a| ix, 408 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 3603,x| 0302-9743 ;;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

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

700 1 a| Hurd, Joe.=| ^A606519;

700 1 a| Melham, T. F.q| (Tom F.)=| ^A360903;

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

856 41 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3603z| Restricted to SpringerLink subscribers;

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har055018560c| 59.92 EUR;

938 a| Baker & Taylorb| BKTYc| 78.00d| 78.00i| 3540283722n| 0006554803s| active;

980 a| 2005-10-05b| 78d| 0e| 74.1f| 682783;

596 a| 1;

998 a| 1013390;

999 a| QA76.9.A96 T655 2005w| LCc| 1i| 30372013461931d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERp| $74.10r| Ys| Yt| JGESBKu| 10/14/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings / Joe Hurd, Tom Melham (eds.).

Author/creator	TPHOLs
Other author	Hurd, Joe.
Other author	Melham, T. F. (Tom F.)
Format	Electronic
Publication Info	Berlin ; New York : Springer, 2005.
Description	ix, 408 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Automatic theorem proving--Congresses.

Portion of title	TPHOLs 2005
Series	Lecture notes in computer science ; 3603, 0302-9743 ; Lecture notes in computer science 3603. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2005930490
ISBN	3540283722 (pbk.)
Standard identifier#	9783540283722

Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings / Joe Hurd, Tom Melham (eds.).

Click here for more information about this title