LEADER 01064nam0-2200301 --450 001 9910307059603321 005 20190205130352.0 020 $aIT$b58292 100 $a20190205d1958----kmuy0itay5050 ba 101 0 $aita$ceng 102 $aIT 105 $a 001yy 200 1 $aDizionario tecnico italiano-inglese, inglese-italiano$eacustica, aeromodellismo, aeronautica ...$eaggiuntevi: le abbreviazioni tecniche anglo-americane di uso corrente ...$fRenzo Denti 205 $a4. ed. migliorata ed aumentata 210 $aMilano$cU. Hoepli$d1958 215 $aXV, 1225 p.$d17 cm 300 $aFrontespizio anche in lingua inglese 510 1 $aItalian-English, English-Italian technical dictionary 610 0 $aDizionari scientifici e tecnici$aItaliano-Inglese 676 $a603$v15 700 1$aDenti,$bRenzo$0626 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910307059603321 952 $aA 638 CAN$b164/42$fDARPU 959 $aDARPU 996 $aDizionario tecnico italiano-inglese inglese-italiano$975112 997 $aUNINA LEADER 00736nam0 2200265 450 001 9910417256003321 005 20200923092915.0 010 $a9788899661045 100 $a20200923d2019----km y0itay50 ba 101 0 $aita 102 $aIT 105 $ay 001yy 200 1 $a<>Trump romance$ecronaca di un'elezione mai annunciata$fFederico Cartelli 210 $aViareggio$cLa Vela$d2019 215 $a72 p.$d18 cm 610 0 $aTrump, Donald$aElezione 676 $a973.932092$v23$zita 700 1$aCartelli,$bFederico$0452204 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910417256003321 952 $aIX H 245$b1547$fFSPBC 959 $aFSPBC 996 $aTrump romance$91757033 997 $aUNINA LEADER 04641nam 22006135 450 001 996466137003316 005 20200701225016.0 010 $a3-540-45008-4 024 7 $a10.1007/10722086 035 $a(CKB)1000000000548797 035 $a(SSID)ssj0000321538 035 $a(PQKBManifestationID)11232826 035 $a(PQKBTitleCode)TC0000321538 035 $a(PQKBWorkID)10279782 035 $a(PQKB)10467648 035 $a(DE-He213)978-3-540-45008-5 035 $a(MiAaPQ)EBC3087414 035 $a(PPN)155196405 035 $a(EXLCZ)991000000000548797 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Reasoning with Analytic Tableaux and Related Methods$b[electronic resource] $eInternational Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings /$fedited by Roy Dyckhoff 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (X, 440 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1847 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-67697-X 320 $aIncludes bibliographical references. 327 $aInvited Lectures -- Tableau Algorithms for Description Logics -- Modality and Databases -- Local Symmetries in Propositional Logic -- Comparison -- Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison -- Consistency Testing: The RACE Experience -- Benchmark Analysis with FaCT -- MSPASS: Modal Reasoning by Translation and First-Order Resolution -- TANCS-2000 Results for DLP -- Evaluating *SAT on TANCS 2000 Benchmarks -- Research Papers -- A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations -- A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus -- An Analytic Calculus for Quantified Propositional Gödel Logic -- A Tableau Method for Inconsistency-Adaptive Logics -- A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning -- Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics -- Variants of First-Order Modal Logics -- Complexity of Simple Dependent Bimodal Logics -- Properties of Embeddings from Int to S4 -- Term-Modal Logics -- A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics -- Dual Intuitionistic Logic Revisited -- Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions -- Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints -- Matrix-Based Inductive Theorem Proving -- Monotonic Preorders for Free Variable Tableaux -- The Mosaic Method for Temporal Logics -- Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5 -- A Tableau Calculus for Equilibrium Entailment -- Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory -- Tableau Calculus for Only Knowing and Knowing At Most -- A Tableau-Like Representation Framework for Efficient Proof Reconstruction -- The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson?s Arithmetic Q -- System Descriptions -- Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO -- E-SETHEO: An Automated3 Theorem Prover. 410 0$aLecture Notes in Artificial Intelligence ;$v1847 606 $aArtificial intelligence 606 $aProgramming languages (Electronic computers) 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArtificial intelligence. 615 0$aProgramming languages (Electronic computers). 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3/33 702 $aDyckhoff$b Roy$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTABLEAUX 2000 906 $aBOOK 912 $a996466137003316 996 $aAutomated Reasoning with Analytic Tableaux and Related Methods$9772640 997 $aUNISA LEADER 01973nam 2200493 450 001 9910705739903321 005 20170627125918.0 035 $a(CKB)5470000002453009 035 $a(OCoLC)991871190 035 $a(EXLCZ)995470000002453009 100 $a20170627j201703 ua 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aExperimental study of convective heating on the back face and payload of a Hypersonic Inflatable Aerodynamic Decelerator (HIAD) aeroshell /$fBrian R. Hollis [and three others] 210 1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dMarch 2017. 215 $a1 online resource (vii, 105 pages) $ccolor illustrations 225 1 $aNASA/TP ;$v2017-219581 300 $a"March 2017." 300 $a"Performing organization: NASA Langley Research Center"--Report documentation page. 320 $aIncludes bibliographical references (pages 14-15). 517 $aExperimental study of convective heating on the back face and payload of a Hypersonic Inflatable Aerodynamic Decelerator 606 $aAerodynamic brakes$2nasat 606 $aAeroshells$2nasat 606 $aConvective heat transfer$2nasat 606 $aHypersonic speed$2nasat 606 $aLaminar flow$2nasat 606 $aWind tunnel tests$2nasat 615 7$aAerodynamic brakes. 615 7$aAeroshells. 615 7$aConvective heat transfer. 615 7$aHypersonic speed. 615 7$aLaminar flow. 615 7$aWind tunnel tests. 700 $aHollis$b Brian R$g(Brian Ray),$01406209 712 02$aLangley Research Center, 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910705739903321 996 $aExperimental study of convective heating on the back face and payload of a Hypersonic Inflatable Aerodynamic Decelerator (HIAD) aeroshell$93537887 997 $aUNINA