LEADER 00903nam0-22003131i-450- 001 990003984790403321 005 20040325110746.0 010 $a0-07-072815-1 035 $a000398479 035 $aFED01000398479 035 $a(Aleph)000398479FED01 035 $a000398479 100 $a20031205d1975----km-y0itay50------ba 101 0 $aeng 200 1 $aBasic engineering thermodynamics$fM.W. Zemansky, M.M. Abbott, H.C. Van Ness 205 $a2nd ed. 210 $as.l.$cMcgraw-Hill Kogakusha$d1975 610 0 $aTermodinamica 676 $a621.402 1 700 1$aZemansky,$bMark Waldo$f<1900-1981>$02117 701 1$aAbbott,$bMichael M.$01 701 1$aVan Ness,$bHendrick C.$02 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003984790403321 952 $a00 D1376$b2504$fDETEC 959 $aDETEC 996 $aBasic engineering thermodynamics$927556 997 $aUNINA LEADER 03859nam 22007215 450 001 996466425703316 005 20200703235229.0 010 $a3-030-29007-7 024 7 $a10.1007/978-3-030-29007-8 035 $a(CKB)4100000009076224 035 $a(DE-He213)978-3-030-29007-8 035 $a(MiAaPQ)EBC5924193 035 $a(PPN)242823769 035 $a(EXLCZ)994100000009076224 100 $a20190813d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFrontiers of Combining Systems$b[electronic resource] $e12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings /$fedited by Andreas Herzig, Andrei Popescu 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XX, 365 p. 564 illus., 6 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence ;$v11715 311 $a3-030-29006-9 320 $aIncludes bibliographical references and index. 330 $aThis book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019. The 20 papers presented were carefully reviewed and selected from 30 submissions. They present research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The papers are organized in the following topical sections: automated theorem proving and model building, combinations of systems, constraint solving, description logics, interactive theorem proving, modal and epistemic logics, and rewriting and unification. 410 0$aLecture Notes in Artificial Intelligence ;$v11715 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputer logic 606 $aAlgorithms 606 $aSoftware engineering 606 $aComputer simulation 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aAlgorithms. 615 0$aSoftware engineering. 615 0$aComputer simulation. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aSimulation and Modeling. 676 $a511.3 702 $aHerzig$b Andreas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPopescu$b Andrei$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466425703316 996 $aFrontiers of Combining Systems$9772665 997 $aUNISA LEADER 01935nam 2200397Ia 450 001 996393867803316 005 20210104164211.0 035 $a(CKB)3810000000006148 035 $a(EEBO)2240869491 035 $a(OCoLC)ocm61297065e 035 $a(OCoLC)61297065 035 $a(EXLCZ)993810000000006148 100 $a20050819d1698 uy 0 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe line of proportion or numbers, commonly called Gunter's line made easie$b[electronic resource] $eby the which may be measured all manner of superficies and solids as boards, glass, pavement, timber, stone, &c. : also, how to perform the same by a line of equal parts, drawn from the centre of a two-foot rule : whereunto is added, The use of the line of proportion improved : whereby all manner of superficies and solids may both exactly and speedily be measured, without the help of pen or compasses, by inspection, looking only upon the ruler /$fby William Leybourn 205 $aThe sixth edition carefully corected and other news ways of measuring / added by the author. 210 $aLondon $cPrinted for A. and J. Churchill$d1698 215 $a[6], 153, [2] p., 1 leaf of folded plates 300 $aAdvertisement: prelim. p. [6] and p. [1]-[2] at end. 300 $aThe first ed. was pub. in 1667, by G. Sawbridge. 300 $aReproduction of original in Huntington Library. 330 $aeebo-0113 606 $aSlide-rule$vEarly works to 1800 606 $aMathematical instruments$vEarly works to 1800 606 $aMensuration$vEarly works to 1800 615 0$aSlide-rule 615 0$aMathematical instruments 615 0$aMensuration 700 $aLeybourn$b William$f1626-1716.$01001442 801 0$bUMI 801 1$bUMI 906 $aBOOK 912 $a996393867803316 996 $aThe line of proportion or numbers, commonly called Gunter's line made easie$92348521 997 $aUNISA