00892nam0-22002771i-450-99000163416040332120050322153218.0000163416FED01000163416(Aleph)000163416FED0100016341620030910d1891----km-y0itay50------bagerLehrbuch der Anatomie und Physiologie der Pflanzen unter besonderer Berucksichtigung der ForstgewachseRobert HartigBerlinJ. Springer1891308 p.24 cmFisiologia vegetale581.1Hartig,Robert69981ITUNINARICAUNIMARCBK99000163416040332160 581.1 B 363436FAGBCFAGBCLehrbuch der Anatomie und Physiologie der Pflanzen unter besonderer Berucksichtigung der Forstgewachse367343UNINA01500oam 2200469 450 991055524940332120210604170410.01-119-48921-01-119-48925-31-119-48922-9(CKB)4100000011658430(MiAaPQ)EBC6427675(EXLCZ)99410000001165843020210604d2020 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFormal semantics in modern type theories /Stergios Chatzikyriakidis, Zhaohui LuoLondon, England :ISTE Ltd ;Hoboken, New Jersey :John Wiley & Sons, Incorporated,[2020]©20201 online resource (241 pages) illustrations1-78630-128-8 Includes bibliographical references and index.Type theorySemanticsMathematical modelsNatural language processing (Computer science)Electronic books.Type theory.SemanticsMathematical models.Natural language processing (Computer science)006Chatzikyriakidis Stergios1219943Luo ZhaohuiMiAaPQMiAaPQUtOrBLWBOOK9910555249403321Formal semantics in modern type theories2820790UNINA