LEADER 01956nam  2200457   450 
001 9910376541603321
005 20180829132549.0
010   $a1-4503-4127-6
035   $a(CKB)3710000000729799
035   $a(WaSeSS)IndRDA00103909
035   $a(EXLCZ)993710000000729799
100   $a20180829d2016      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCPP '16 $eproceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA /$fedited by Jeremy Avigad and Adam Chlipala ; sponsored by ACM SIGPLAN
210  1$aNew York :$cACM,$d2016.
215   $a1 online resource (196 pages)
300   $aIncludes index.
517 1 $aCertified Programs and Proofs 2016 :$eproceedings of the 5th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA
517 1 $aProceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
517 1 $aProceedings of the 5th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs
606   $aComputer science$xMathematics$vCongresses
606   $aProof theory$xData processing$vCongresses
606   $aFormal methods (Computer science)$vCongresses
608   $aElectronic books.
615  0$aComputer science$xMathematics
615  0$aProof theory$xData processing
615  0$aFormal methods (Computer science)
676   $a004.0151
702   $aAvigad$b Jeremy
702   $aChlipala$b Adam$f1981-
712 02$aACM Special Interest Group on Programming Languages,
801  0$bWaSeSS
801  1$bWaSeSS
906   $aBOOK
912   $a9910376541603321
996   $aCPP '16$92165424
997   $aUNINA

LEADER 01990nas  2200649-a 450 
001 996209868303316
005 20240112213020.0
011   $a1479-5868
035   $a(DE-599)ZDB2134691-4
035   $a(OCoLC)54464493
035   $a(CKB)111078164995000
035   $a(CONSER)--2004243416
035   $a(EXLCZ)99111078164995000
100   $a20040223a20049999  s--         a
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 04$aThe international journal of behavioral nutrition and physical activity
210   $a[London] $cBioMed Central$d2004-
300   $aRefereed/Peer-reviewed
300   $aTitle from issue PDF caption (publisher Web site, viewed June 4, 2004).
517 1 $aIJBNPA
531   $aIJBNPA
531   $aINTERNATIONAL JOURNAL OF BEHAVIORAL NUTRITION AND PHYSICAL ACTIVITY
531   $aINT J BEHAV NUTR PHYS ACT
531   $aINT J BEHAV NUTR PHY
531   $aINT. J. BEHAV. NUTR. PHYS. ACT
531 10$aInt J Behav Nutr Phys Act
606   $aDiet$vPeriodicals
606   $aPhysical fitness$vPeriodicals
606   $aDiet
606   $aPhysical Fitness
606   $aNutrition Science$2ebps
606   $aExercise & Fitness$2ebps
606   $aDiet$2fast$3(OCoLC)fst00893284
606   $aPhysical fitness$2fast$3(OCoLC)fst01062569
608   $aPeriodical.
608   $aFulltext.
608   $aInternet Resources.
608   $aPeriodicals.
608   $aPeriodicals.$2fast
615  0$aDiet
615  0$aPhysical fitness
615 12$aDiet.
615 22$aPhysical Fitness.
615  7$aNutrition Science.
615  7$aExercise & Fitness.
615  7$aDiet.
615  7$aPhysical fitness.
676   $a363.8
712 02$aBioMed Central Ltd.
906   $aJOURNAL
912   $a996209868303316
996   $aThe international journal of behavioral nutrition and physical activity$92049142
997   $aUNISA