LEADER 01079cam0-2200397---450- 001 990001057900403321 005 20080123101140.0 010 $a0-521-33320-2 035 $a000105790 035 $aFED01000105790 035 $a(Aleph)000105790FED01 035 $a000105790 100 $a20001205d1987----km-y0itay50------ba 101 0 $aeng 102 $aGB 105 $aa-------001yy 200 1 $aNiels Bohr's philosophy of physics$fDugald Murdoch 210 $aCambridge ; New York$cCambridge University Press$d1987 215 $aX, 294 p.$d24 cm 610 0 $aBohr, Niels 610 0 $aStoria della fisica 610 0 $aStoria della scienza 676 $a539.7 676 $a530.092'4 676 $a509 700 1$aMurdoch,$bDugald$050440 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001057900403321 952 $a539.7 MUR 1$b1081 Dip. Filos.$fFLFBC 952 $a6D-245$b15159$fFI1 952 $a6-192$b16127$fFI1 959 $aFLFBC 959 $aFI1 996 $aNiels Bohr's philosophy of physics$9189487 997 $aUNINA LEADER 01080nam 2200325 450 001 9910510450603321 005 20230819094706.0 035 $a(CKB)4930000000238352 035 $a(NjHacI)994930000000238352 035 $a(EXLCZ)994930000000238352 100 $a20230819d2021 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems /$fSergiy Bogomolov 210 1$aNew York, New York :$cAssociation for Computing Machinery,$d2021. 215 $a1 online resource (26 pages) 311 $a1-4503-8444-7 606 $aElectronic data processing 615 0$aElectronic data processing. 676 $a004 700 $aBogomolov$b Sergiy$01384493 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910510450603321 996 $aProceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems$93430809 997 $aUNINA