Tools

LEADER 01929cam a2200481Ii 4500

001 ocm55807908;

003 OCoLC;

005 20141212175627.0;

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

008 040702s2004 gw a 100 0 eng d;

016 7 a| 9710881522| GyFmDB;

020 a| 3540221646 (pbk.);

035 a| (Sirsi) o55807908;

035 a| (OCoLC)55807908;

049 a| EREE;

072 7 a| QA2| lcco;

090 a| QA76.9.A96b| T96 2003;

111 2 a| TYPES 2003d| (2003 :c| Torino, Italy)?| UNAUTHORIZED;

245 10 a| Types for proofs and programs :b| international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /c| Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.).;

246 30 a| TYPES 2003;

300 a| x, 408 pages :b| figures ;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| 3085;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

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

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

700 1 a| Berardi, Stefano.=| ^A384709;

700 1 a| Coppo, Mario.=| ^A384710;

700 1 a| Damiani, Ferruccio.=| ^A582286;

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

856 41 u| http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3085z| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

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

980 a| 2004-08-25b| 78d| 0e| 74.1f| 441280;

596 a| 1;

998 a| 970001;

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

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers / Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.).

Author/creator	TYPES 2003
Other author	Berardi, Stefano.
Other author	Coppo, Mario.
Other author	Damiani, Ferruccio.
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2004.
Description	x, 408 pages : figures ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Automatic theorem proving--Congresses. Computer programming--Congresses.

Portion of title	TYPES 2003
Series	Lecture notes in computer science ; 3085 Lecture notes in computer science 3085. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
ISBN	3540221646 (pbk.)

Availability

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

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers / Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.).

Click here for more information about this title

Availability