Tools

LEADER 01926cam a22004934a 4500

001 ocm49197579;

003 OCoLC;

005 20141212162559.0;

007 cr un---------;

008 020213s2002 gw a b 101 0 eng ;

010 a| 2002022188;

015 a| GBA2-20709;

020 a| 3540432876 (alk. paper);

035 a| (Sirsi) o49197579;

035 a| (OCoLC)49197579;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.9.A96b| T96 2000;

072 7 a| QA2| lcco;

082 00 a| 006.3/332| 21;

111 2 a| TYPES 2000d| (2000 :c| Durham, England)=| ^A517969;

245 10 a| Types for proofs and programs :b| International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers /c| Paul Callaghan [and others], (eds.).;

246 18 a| TYPES 2000;

300 a| viii, 242 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| 2277;

504 a| Includes bibliographical references and index.;

530 a| Also available via the World Wide Web.;

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

650 0 a| Computer programmingv| Congresses.=| ^A34403;

700 1 a| Callaghan, Paul,d| 1970-=| ^A517970;

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

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2277.htmz| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har025005122c| 42.80 DEM;

980 a| 2002-06-05b| 52d| 3.21e| 49.4f| 31711;

596 a| 1;

998 a| 878988;

999 a| QA76.9.A96 T96 2000w| LCc| 1i| 30372011770739d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERp| $49.40r| Ys| Yt| JGESBKu| 7/30/2002x| BOOKz| JSTACKSo| .STAFF. 0;

Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / Paul Callaghan [and others], (eds.).

Author/creator	TYPES 2000
Other author	Callaghan, Paul, 1970-
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2002.
Description	viii, 242 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Automatic theorem proving--Congresses. Computer programming--Congresses.

Spine title	TYPES 2000
Series	Lecture notes in computer science ; 2277 Lecture notes in computer science 2277. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
LCCN	2002022188
ISBN	3540432876 (alk. paper)

Availability

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

Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / Paul Callaghan [and others], (eds.).

Click here for more information about this title

Availability