01963nam 2200517I 450 991070138740332120141203134100.0(CKB)5470000002417190(OCoLC)897379227(EXLCZ)99547000000241719020141203j200309 ua 0engurbn|||||||||txtrdacontentcrdamediacrrdacarrierDesign and application of strategies/tactics in higher order logics /edited by Myla Archer, Ben Di Vito, César MuñozHampton, Virginia :National Aeronautics and Space Administration, Langley Research Center,September 2003.1 online resource (v, 107 pages, 1 unnumbered page) illustrationsNASA/CP ;2003-212448Title from title screen (viewed Dec. 3, 2014)."September 2003.""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."Includes bibliographical references and index.Design and application of strategies tactics in higher order logicsTheorem provingnasatSemanticsnasatTacticsnasatComputer programmingnasatCalculusnasatTheorem proving.Semantics.Tactics.Computer programming.Calculus.Archer MylaVito Ben DiMuñoz CésarLangley Research Center,United States.National Aeronautics and Space Administration,GPOGPOBOOK9910701387403321Design and application of strategies3201419UNINA03204nam0 22004931i 450 UON0001905520231205102009.29420020107d1974 |0itac50 bachiCN|||| 1||||Bei ShiLi YanshouBeijing : Zhonghua Shuju197410 v.20 cmCont.: v. I-II: BenjiII-X: LicchuanCIN IV Aa 24 (1)IT-UONSI CINIVAA/024CIN IV Aa 24 (2)IT-UONSI CINIVAA/024CIN IV Aa 24 (3)IT-UONSI CINIVAA/024CIN IV Aa 24 (4)IT-UONSI CINIVAA/024CIN IV Aa 24 (5)IT-UONSI CINIVAA/024CIN IV Aa 24 (6)IT-UONSI CINIVAA/024CIN IV Aa 24 (7)IT-UONSI CINIVAA/024CIN IV Aa 24 (8)IT-UONSI CINIVAA/024CIN IV Aa 24 (9)IT-UONSI CINIVAA/024CIN IV Aa 24 (10)IT-UONSI CINIVAA/024CINASTORIE DINASTICHETESTIUONC007096FICNBeijingUONL000457CIN IV AACina - Storia antica fine guerra dell'oppio (1839) - FontiALI YanshouUONV013969Zhonghua ShujuUONV246029650ITSOL20250711RICAUON00019055SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI CIN IV AA 024 SI SA 58369 5 024 CIN IV Aa 24 (1)SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI CIN IV AA 024 SI SA 58370 5 024 CIN IV Aa 24 (2)SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI CIN IV AA 024 SI SA 58371 5 024 CIN IV Aa 24 (3)SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI CIN IV AA 024 SI SA 58372 5 024 CIN IV Aa 24 (4)SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI CIN IV AA 024 SI SA 58373 5 024 CIN IV Aa 24 (5)SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI CIN IV AA 024 SI SA 58374 5 024 CIN IV Aa 24 (6)SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI CIN IV AA 024 SI SA 58375 5 024 CIN IV Aa 24 (7)SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI CIN IV AA 024 SI SA 58376 5 024 CIN IV Aa 24 (8)SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI CIN IV AA 024 SI SA 58377 5 024 CIN IV Aa 24 (9)SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI CIN IV AA 024 SI SA 58378 5 024 CIN IV Aa 24 (10)Bei Shi1197612UNIOR