01498nam2-2200421li-450 99000020911020331620180312154708.03-540-66463-70020911USA010020911(ALEPH)000020911USA01002091120001109d1999----km-y0itay0103----baengGWTheorem proving in higher order logics12th International conference, TPHOLs '99Nice, France, September 14-17, 1999ProceedingsYves Bertot ... [et al.] (eds.)BerlinSpringer-Verlagcopyr. 1999VIII, 358 p.ill.22 cmLecture notes in computer science169000100202642001Lecture notes in computer sciencecongressinizza1999logica matematicacongressi1999logica simbolicacongressi19990040151.Bertot,YvesInternational conference TPHOLs '9912.Nizza1999746225Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209110203316001 LNCS (1690)0024081001001042937BKSCI1999011920001110USA011714ALANDI9020010208USA01174520020403USA011629PATRY9020040406USA011615Theorem proving in higher order logics1489219UNISA01466oam 2200385Ka 450 991069889480332120090505094803.0(CKB)5470000002396913(OCoLC)320235252(EXLCZ)99547000000239691320090505d1988 ua 0engtxtrdacontentcrdamediacrrdacarrierDesign and implementation of a microcomputer-based user interface controller for bursted data communications satellite ground terminals[electronic resource] /Mary Jo Shalkhauser[Washington, D.C.] :National Aeronautics and Space Administration,[1988]1 volumeNASA technical memorandum ;101375Title from title screen (viewed May 4, 2009)Space communicationnasatSpacecraft communicationnasatCommand and trackingnasatSpace communication.Spacecraft communication.Command and tracking.Shalkhauser Mary Jo W1396060United States.National Aeronautics and Space Administration.GPOGPOGPOBOOK9910698894803321Design and implementation of a microcomputer-based user interface controller for bursted data communications satellite ground terminals3455568UNINA