000			01884nam a2200397Ia 4500
001			ebr10152502
003			CaPaEBR
006			m u
007			cr cn|||||||||
008			070104s2006 ne sb 101 0 eng d
020			_z1586036254
020			_z9781586036256
024	3		_z9781586036256
040			_aCaPaEBR _cCaPaEBR
035			_a(OCoLC)567966437
050	1	4	_aQA76.9.A96 _bN38 2006eb
082	0	4	_a511.3 _222
111	2		_aNATO Advanced Study Institute on Proof Technology and Computation _d(2003 : _cMarktoberdorf, Germany)
245	1	0	_aProof technology and computation _h[electronic resource] / _cedited by Helmut Schwichtenberg and Katharina Spies.
260			_aAmsterdam ; _aWashington, DC : _bIOS Press, _cc2006.
300			_avii, 445 p.
490	1		_aNATO science series. Series III, Computer and systems sciences, _x1387-6694 ; _vv. 200
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			_aIncludes bibliographical references and index.
533			_aElectronic reproduction. _bPalo Alto, Calif. : _cebrary, _d2011. _nAvailable via World Wide Web. _nAccess may be limited to ebrary affiliated libraries.
650		0	_aAutomatic theorem proving _vCongresses.
650		0	_aComputer programming _vCongresses.
650		0	_aComputer software _xDevelopment _vCongresses.
655		7	_aElectronic books. _2local
700	1		_aSchwichtenberg, Helmut, _d1942-
700	1		_aSpies, Katharina.
710	2		_aebrary, Inc.
830		0	_aNATO science series. _nSeries III, _pComputer and systems sciences ; _vv. 200.
856	4	0	_uhttp://site.ebrary.com/lib/rucke/Doc?id=10152502 _zAn electronic book accessible through the World Wide Web; click to view
999			_c95529 _d95529