|
.
|
|
0 (hodnocen0 x )
|
|
EB
|
|
ONLINE
|
|
|
|
|
|
Amsterdam ; Washington, DC : IOS Press, c2006
|
|
1 online resource (vii, 445 p.)
|
Externí odkaz
|
Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
ISBN 1586036254
|
|
ISBN 9781586036256
|
|
NATO science series. Series III, Computer and systems sciences, ISSN 1387-6694 ; v. 200
|
|
|
|
|
|
"Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso
|
|
"Published in cooperation with NATO Public Diplomacy Division."
|
|
Includes bibliographical references and index
|
|
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries
|
|
|
|
|
|
|
|
|
|
001688867
|
|
full
|
|
(Au-PeEL)EBL267724
|
|
(CaONFJC)MIL54767
|
|
(CaPaEBR)ebr10152502
|
|
(MiAaPQ)EBC267724
|
|
(OCoLC)71214605
|
|
* !9781586036256 (chyb.)
|