LEADER 03007nam 22005415 450 001 996465855603316 005 20200703043602.0 010 $a3-540-49746-3 024 7 $a10.1007/3-540-60941-5 035 $a(CKB)1000000000234420 035 $a(SSID)ssj0000327261 035 $a(PQKBManifestationID)11268696 035 $a(PQKBTitleCode)TC0000327261 035 $a(PQKBWorkID)10298931 035 $a(PQKB)10730428 035 $a(DE-He213)978-3-540-49746-2 035 $a(PPN)155188496 035 $a(EXLCZ)991000000000234420 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTime Structures$b[electronic resource] $eFormal Description and Algorithmic Representation /$fby Elzbieta Hajnicz 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (XI, 249 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1047 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60941-5 327 $aDescription of time structures in the first order predicate calculus -- Modal temporal logics and description of time structures -- Temporal reasoning algorithms -- Formalization of the constraint propagation algorithm -- Translations of Allen's calculi into modal temporal logic. 330 $aThe notion of time plays an important role in modern science. In computer science and artificial intelligence, the parameter of time is of particular importance, e.g. for planning robot activity, natural language processing, and time-varying scene analysis. This work investigates the relationship between classic, first-order theories of point- and interval-based time structures, modal logics of corresponding structures, and their algorithmic representations. To make this relationship complete, a formalisation of Allen's famous algorithm, applicable to various structures of time, is presented along with its translation to modal logics. All in all, the book is a competent and comprehensive analysis of logical descriptions and algorithmic representations of time structures. 410 0$aLecture Notes in Artificial Intelligence ;$v1047 606 $aArtificial intelligence 606 $aMathematical logic 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 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 676 $a511.3 700 $aHajnicz$b Elzbieta$4aut$4http://id.loc.gov/vocabulary/relators/aut$0548570 906 $aBOOK 912 $a996465855603316 996 $aTime structures$9960941 997 $aUNISA LEADER 03392nam 2200469 450 001 9910583350103321 005 20180322190608.0 035 $a(CKB)3710000000902886 035 $a(EBL)4718033 035 $a(MiAaPQ)EBC4718033 035 $a(PPN)19805839X 035 $a(EXLCZ)993710000000902886 100 $a20161026h20172017 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 14$aThe teeth of non-mammalian vertebrates /$fBarry Berkovitz, R. P. Shellis 210 1$aAmsterdam, [Netherlands] :$cAcademic Press,$d2017. 210 4$dİ2017 215 $a1 online resource (356 p.) 300 $aDescription based upon print version of record. 311 $a0-12-802850-5 311 $a0-12-802884-X 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aCyclostomes -- Chondrichthyes 1 : sharks -- Chondrichthyes 2 : rays and chimaeras -- Osteichthyes -- Amphibia -- Reptiles 1 : tuatara and lizards -- Reptiles 2 : snakes -- Reptiles 3 : crocodylia -- Tooth formation -- Tooth replacement and ontogeny of the dentition -- Dentine and dental pulp -- Enameloid and enamel. 330 $a"The Teeth of Non-Mammalian Vertebrates is the first comprehensive publication devoted to the teeth and dentitions of living fishes, amphibians and reptiles. The book presents a comprehensive survey of the amazing variety of tooth forms among non-mammalian vertebrates, based on descriptions of approximately 400 species belonging to about 160 families. The text is lavishly illustrated with more than 600 high-quality color and monochrome photographs of specimens gathered from top museum collections and researchers from around the world, supplemented by radiographs, scanning electron micrographs, and micro-CT images. This stimulating work discusses the functional morphology of feeding, the attachment of teeth, and the relationship of tooth form to function, with each chapter accompanied by a comprehensive, up-to-date reference list. Following the descriptions of the teeth and dentitions in each class, four chapters review current topics with considerable research activity: tooth development; tooth replacement; and the structure, formation, and evolution of the dental hard tissues. This timely book, authored by internationally recognized teachers and researchers in the field, also reflects the resurgence of interest in the dentitions of non-mammalian vertebrates as experimental systems to help understand genetic changes in the evolution of teeth and jaws. Key features: provides detailed coverage of the dentition of all living groups of non-mammalian vertebrates; includes clear, concise, and up-to-date reviews of tooth structure, attachment, development, and replacement, together with helpful reading lists; offers guidance on tooth morphology for classification and evolution of vertebrates."--$cPage 4 of cover. 606 $aTeeth 606 $aVertebrates$xAnatomy 615 0$aTeeth. 615 0$aVertebrates$xAnatomy. 676 $a611.314 700 $aBerkovitz$b Barry$0964229 702 $aShellis$b R. P. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910583350103321 996 $aThe teeth of non-mammalian vertebrates$92187008 997 $aUNINA