LEADER 01429nam  2200433   450 
001 9910154278303321
005 20230213222747.0
010   $a1-4574-8323-8
035   $a(CKB)3710000000919944
035   $a(MiAaPQ)EBC4727457
035   $a(MiAaPQ)EBC3128174
035   $a(Au-PeEL)EBL3128174
035   $a(CaPaEBR)ebr10010175
035   $a(OCoLC)961059133
035   $a(EXLCZ)993710000000919944
100   $a20161128h19851985  uy             0
101 0 $ager
135   $aurcnu||||||||
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 10$aCantata No. 7 - Christ, unser Herr, zum Jordan kam (BWV 7) $efor Alto, Tenor and Bass Soli, Chorus and Orchestra with German text and English text in preface : choral score /$fJohann Sebastian Bach
210  1$a[Los Angeles, California] :$cKalmus,$d[1985]
210  4$dİ[1985]
215   $a1 online resource (38 pages) $cillustrations
225 1 $aKalmus Classic Edition
311   $a0-7692-8267-9 
410  0$aKalmus classic edition.
606   $aSacred songs (High voice) with piano
615  0$aSacred songs (High voice) with piano.
676   $a782.27
700   $aBach$b Johann Sebastian$0533945
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910154278303321
996   $aCantata No. 7 - Christ, unser Herr, zum Jordan kam (BWV 7)$93007623
997   $aUNINA

LEADER 01963nam  2200517I  450 
001 9910701387403321
005 20141203134100.0
035   $a(CKB)5470000002417190
035   $a(OCoLC)897379227
035   $a(EXLCZ)995470000002417190
100   $a20141203j200309    ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aDesign and application of strategies/tactics in higher order logics /$fedited by Myla Archer, Ben Di Vito, Ce?sar Mun?oz
210  1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dSeptember 2003.
215   $a1 online resource (v, 107 pages, 1 unnumbered page) $cillustrations
225 1 $aNASA/CP ;$v2003-212448
300   $aTitle from title screen (viewed Dec. 3, 2014).
300   $a"September 2003."
300   $a"Proceedings of a workshop sponsored by the Naval Research Laboratory, the National Aeronautics and Space Administration and the National Institute of Aerospace and held in Rome, Italy September 8, 2003."
320   $aIncludes bibliographical references and index.
517 3 $aDesign and application of strategies tactics in higher order logics
606   $aTheorem proving$2nasat
606   $aSemantics$2nasat
606   $aTactics$2nasat
606   $aComputer programming$2nasat
606   $aCalculus$2nasat
615  7$aTheorem proving.
615  7$aSemantics.
615  7$aTactics.
615  7$aComputer programming.
615  7$aCalculus.
702   $aArcher$b Myla
702   $aVito$b Ben Di
702   $aMun?oz$b Ce?sar
712 02$aLangley Research Center,
712 02$aUnited States.$bNational Aeronautics and Space Administration,
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910701387403321
996   $aDesign and application of strategies$93201419
997   $aUNINA