Tools

LEADER 02051cam a2200457Ia 4500

001 ocm77528062;

003 OCoLC;

005 20141211193437.0;

008 070104s2006 ne b 101 0 eng d;

010 a| 2006927922;

020 a| 1586036254;

020 a| 9781586036256;

029 1 a| YDXCPb| 2471831;

035 a| (Sirsi) o77528062;

035 a| (OCoLC)77528062;

049 a| EREE;

050 00 a| QA76.9.A96b| N38 2006;

111 2 a| NATO Advanced Study Institute on Proof Technology and Computationd| (2003 :c| Marktoberdorf, Germany)=| ^A1219748;

245 10 a| Proof technology and computation /c| edited by Helmut Schwichtenberg and Katharina Spies.;

300 a| vii, 445 pages ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| NATO science series. Series III, Computer and systems sciences ;v| v. 200,x| 1387-6694 ;;

500 a| "Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso.;

500 a| "Published in cooperation with NATO Public Diplomacy Division.";

504 a| Includes bibliographical references and index.;

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

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

650 0 a| Computer softwarex| Developmentv| Congresses.=| ^A191775;

700 1 a| Schwichtenberg, Helmut,d| 1942-=| ^A387482;

700 1 a| Spies, Katharina.=| ^A387850;

830 0 a| NATO science series.n| Series III,p| Computer and systems sciences ;v| v. 200.=| ^A533231;

856 41 3| Table of contents onlyu| http://www.loc.gov/catdir/toc/fy0707/2006927922.html;

994 a| C0b| ERE;

945 a| 1712608;

596 a| 1;

998 a| 1070573;

999 a| QA76.9.A96 N38 2006w| LCc| 1i| 30372014491762d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERp| $156.00r| Ys| Yt| JGESBKu| 2/16/2007x| BOOKz| JSTACKSo| .STAFF. 0;

Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies.

Author/creator	NATO Advanced Study Institute on Proof Technology and Computation
Other author	Schwichtenberg, Helmut, 1942-
Other author	Spies, Katharina.
Format	Book
Publication Info	Amsterdam ; Washington, DC : IOS Press, ©2006.
Description	vii, 445 pages ; 25 cm.
Supplemental Content	Table of contents only
Subjects	Automatic theorem proving--Congresses. Computer programming--Congresses. Computer software--Development. --Congresses.

Series	NATO science series. Series III, Computer and systems sciences ; v. 200, 1387-6694 ; NATO science series. Series III, Computer and systems sciences ; v. 200. ^A533231
General note	"Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso.
General note	"Published in cooperation with NATO Public Diplomacy Division."
Bibliography note	Includes bibliographical references and index.
LCCN	2006927922
ISBN	1586036254
ISBN	9781586036256

Availability

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

Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies.

Click here for more information about this title

Availability