LEADER 01778oam 2200469 a 450 001 9910699360503321 005 20230902161555.0 035 $a(CKB)5470000002402310 035 $a(OCoLC)476804589 035 $a(EXLCZ)995470000002402310 100 $a20091210d2009 ua 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aThe therian skull$b[electronic resource] $ea lexicon with emphasis on the odontocetes /$fJ.G. Mead and R.E. Fordyce 210 1$aWashington, D.C. :$cSmithsonian Institution Scholarly Press,$d2009. 215 $a1 online resource (viii, 248 pages) $cillustrations 225 1 $aSmithsonian contributions to zoology ;$vno. 627 300 $aTitle from PDF t.p. (Smithsonian, viewed on Dec 10, 2009). 320 $aIncludes bibliographical references (pages [207]-216) and index. 327 $aIntroduction -- Materials and methods -- Osteological relationships of the skull bones -- Guide to lexicon entries -- Lexicon -- Multi-element complexes : structures shared by adjacent bones. 410 0$aSmithsonian contributions to zoology ;$vno. 627. 517 $aTherian skull 606 $aSkull$vDictionaries 606 $aMammals$xAnatomy$vDictionaries 606 $aToothed whales$xAnatomy$vDictionaries 606 $aAnatomy, Comparative$vDictionaries 615 0$aSkull 615 0$aMammals$xAnatomy 615 0$aToothed whales$xAnatomy 615 0$aAnatomy, Comparative 700 $aMead$b James G$091877 701 $aFordyce$b R. Ewan$01405749 801 0$bMUU 801 1$bMUU 801 2$bGPO 906 $aBOOK 912 $a9910699360503321 996 $aThe therian skull$93482895 997 $aUNINA LEADER 04001nam 22007215 450 001 9910349404503321 005 20251225203627.0 010 $a9783030008017 010 $a3030008010 024 7 $a10.1007/978-3-030-00801-7 035 $a(CKB)4100000006674715 035 $a(DE-He213)978-3-030-00801-7 035 $a(MiAaPQ)EBC6296214 035 $a(PPN)230538843 035 $a(EXLCZ)994100000006674715 100 $a20180926d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDeclarative Programming and Knowledge Management $eConference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19?22, 2017, Revised Selected Papers /$fedited by Dietmar Seipel, Michael Hanus, Salvador Abreu 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (X, 215 p. 32 illus.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v10997 311 08$a9783030008000 311 08$a3030008002 327 $aConstraints -- Constraint Solving on Hybrid Systems -- Run-time Analysis of Temporal Constrained Objects -- Implementation of Logical Retraction in Constraint Handling Rules with Justifications -- The Proportional Constraint and Its Pruning -- An Operational Semantics for Constraint-logic Imperative Programming -- Hypertree Decomposition: The First Step Towards Parallel Constraint Solving -- Declarative Systems -- Declarative Aspects in Explicative Data Mining for Computational Sensemaking -- An Approach for Representing Answer Sets in Natural Language -- Techniques for Efficient Lazy-Grounding ASP Solving -- Reasoning Principles and Heurstic Strategies in Modeling Human Clusters -- Functional and Logic Programming -- Concolic Testing of Functional Logic Programs -- Declarative XML Schema Validation with SWI-Prolog -- plspec - A Specification Language for Prolog Data. 330 $aThis book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The contributions were organized in topical sections named: constraints; declarative systems; and functional and logic programming. . 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v10997 606 $aArtificial intelligence 606 $aComputer programming 606 $aSoftware engineering 606 $aNumerical analysis 606 $aComputer science 606 $aArtificial Intelligence 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aNumerical Analysis 606 $aComputer Science Logic and Foundations of Programming 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aNumerical analysis. 615 0$aComputer science. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aNumerical Analysis. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.131 676 $a005.115 702 $aSeipel$b Dietmar$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHanus$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAbreu$b Salvador$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349404503321 996 $aDeclarative Programming and Knowledge Management$92223527 997 $aUNINA