LEADER 01436nam 2200361Ia 450 001 996395692903316 005 20221108060913.0 035 $a(CKB)4330000000326308 035 $a(EEBO)2240925473 035 $a(OCoLC)9920331100971 035 $a(EXLCZ)994330000000326308 100 $a19950915d1615 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aCertaine wholesome obseruations and rules fo [sic] inne-keepers, and also for their guests$b[electronic resource] $emeet to be fixed vpon the wall of euery chamber in the house, but meant more especially for the good of Mr. Henry Hunter and his wife, of Smithfield, his louing brother and sister, and of the guests which vse their house 210 $a[London $cJ. Beale?$dca. 1615] 215 $a1 sheet ([1] p.) 300 $aImprint information from STC (2nd ed.). 300 $aReproduction of original in: Society of Antiquaries. 330 $aeebo-0147 606 $aTravel etiquette$zEngland$vEarly works to 1800 606 $aHospitality$vEarly works to 1800 608 $aBroadsides$zLondon (England)$y17th century.$2rbgenr 615 0$aTravel etiquette 615 0$aHospitality 700 $aT. W$0819087 801 0$bEBK 801 1$bEBK 801 2$bWaOLN 906 $aBOOK 912 $a996395692903316 996 $aCertaine wholesome obseruations and rules fo inne-keepers, and also for their guests$92348026 997 $aUNISA LEADER 03307nam 22007215 450 001 9910744508503321 005 20251117064315.0 010 $a3-031-43369-6 024 7 $a10.1007/978-3-031-43369-6 035 $a(CKB)5670000000770258 035 $a(DE-He213)978-3-031-43369-6 035 $a(PPN)272734284 035 $a(MiAaPQ)EBC30882875 035 $a(Au-PeEL)EBL30882875 035 $a(OCoLC)1398308679 035 $a(EXLCZ)995670000000770258 100 $a20230914d2023 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFrontiers of Combining Systems $e14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20?22, 2023, Proceedings /$fedited by Uli Sattler, Martin Suda 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (XVI, 275 p. 421 illus., 12 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v14279 311 08$a3-031-43368-8 327 $aAnalysis of Programs and Equations -- Unification -- Decidable Fragments -- Frameworks -- Higher-order Theorem Proving. 330 $aThis book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and RelatedMethods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v14279 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aComputer engineering 606 $aComputer networks 606 $aComputer science 606 $aMachine theory 606 $aArtificial Intelligence 606 $aSoftware Engineering 606 $aComputer Engineering and Networks 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aComputer science. 615 0$aMachine theory. 615 14$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aComputer Engineering and Networks. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 676 $a006.3 702 $aSattler$b Uli$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSuda$b M$g(Martin),$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910744508503321 996 $aFrontiers of Combining Systems$92555154 997 $aUNINA