Tools

LEADER 02253cam a2200553Ia 4500

001 ocm63514361;

003 OCoLC;

005 20141211185622.0;

008 060203s2006 gw 101 0 eng d;

010 a| 2005938814;

015 a| GBA6286162| bnb;

016 7 a| 9778773532| GyFmDB;

016 7 a| 0134116112| Uk;

020 a| 3540314288 (pbk.);

020 a| 9783540314288;

029 0 a| OHXb| har060010246;

035 a| (Sirsi) o63514361;

035 a| (OCoLC)63514361;

049 a| EREE;

050 4 a| QA76.9.A96b| T96 2004;

072 7 a| QA2| lcco;

082 04 a| 005.1312| 22;

111 2 a| TYPES 2004d| (2004 :c| Jouy-en-Josas, France)=| ^A630707;

245 10 a| Types for proofs and programs :b| international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers /c| Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.).;

246 30 a| TYPES 2004;

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

300 a| viii, 273 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| 3839;

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| Filliâtre, Jean-Christophe.=| ^A630708;

700 1 a| Paulin-Mohring, Christine,d| 1962-=| ^A409624;

700 1 a| Werner, Benjamin.=| ^A630709;

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

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

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har060010246c| 48.15 EUR;

938 a| Baker & Taylorb| BKTYc| 63.00d| 63.00i| 3540314288n| 0006709969s| active;

980 a| 2006-04-12b| 63d| 0e| 59.85f| 806341;

596 a| 1;

998 a| 1033058;

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

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers / Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.).

Author/creator	TYPES 2004
Other author	Filliâtre, Jean-Christophe.
Other author	Paulin-Mohring, Christine, 1962-
Other author	Werner, Benjamin.
Format	Book
Publication Info	Berlin ; New York : Springer, 2006.
Description	viii, 273 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Automatic theorem proving--Congresses. Computer programming--Congresses.

Portion of title	TYPES 2004
Series	Lecture notes in computer science ; 3839 Lecture notes in computer science 3839. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2005938814
ISBN	3540314288 (pbk.)
ISBN	9783540314288

Availability

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

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers / Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.).

Click here for more information about this title

Availability