LEADER 01171nam0 22002891i 450 001 UON00081347 005 20231205102429.853 010 $a07-914229-0-9 100 $a20020107d1995 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aBefore revelation$eThe boundaries of muslim moral thought$fA. Kevin Reinhart 210 $a[Albany]$cState University of New York$dc1995 215 $axii, 255 p.$d23 cm 410 1$1001UON00066149$12001 $aSUNY series in Middle Eastern studies$feditor Shahrough Akhavi 606 $aIslam$xDottrine$3UONC018323$2FI 620 $aUS$dAlbany, N.Y.$3UONL001849 676 $a297.2$cTeologia islamica (Dogmatica: Aqida e Kalam)$v21 700 1$aREINHART$bA. Kevin$3UONV053548$0661750 712 $aState University of New York Press$3UONV245851$4650 801 $aIT$bSOL$c20250704$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00081347 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI VII 099 $eSI AA 21365 7 099 996 $aBefore revelation$91300687 997 $aUNIOR LEADER 04472nam 22006615 450 001 9910768444803321 005 20251226203136.0 024 7 $a10.1007/b136076 035 $a(CKB)1000000000212922 035 $a(SSID)ssj0000318716 035 $a(PQKBManifestationID)11265692 035 $a(PQKBTitleCode)TC0000318716 035 $a(PQKBWorkID)10311055 035 $a(PQKB)10496936 035 $a(DE-He213)978-3-540-31953-5 035 $a(MiAaPQ)EBC3067523 035 $a(PPN)123094232 035 $a(EXLCZ)991000000000212922 100 $a20100713d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogical Aspects of Computational Linguistics $e5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings /$fedited by Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (X, 366 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v3492 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-31953-0 311 08$a3-540-25783-7 320 $aIncludes bibliographic references and index. 327 $aLACL -- k-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages -- Dependency Structure Grammars -- Towards a Computational Treatment of Binding Theory -- Translating Formal Software Specifications to Natural Language -- On the Selective Lambek Calculus -- Grammatical Development with Xmg -- Lambek-Calculus with General Elimination Rules and Continuation Semantics -- A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars -- Large Scale Semantic Construction for Tree Adjoining Grammars -- A Compositional Approach Towards Semantic Representation and Construction of ARABIC -- Strict Deterministic Aspects of Minimalist Grammars -- A Polynomial Time Extension of Parallel Multiple Context-Free Grammar -- Learnable Classes of General Combinatory Grammars -- On Expressing Vague Quantification and Scalar Implicatures in the Logic of Partial Information -- Describing Lambda Terms in Context Unification -- Category Theoretical Semantics for Pregroup Grammars -- Feature Constraint Logic and Error Detection in ICALL Systems -- Linguistic Facts as Predicates over Ranges of the Sentence -- How to Build Argumental Graphs Using TAG Shared Forest: A View from Control Verbs Problematic -- When Categorial Grammars Meet Regular Grammatical Inference -- The Expressive Power of Restricted Fragments of English -- The Complexity and Generative Capacity of Lexicalized Abstract Categorial Grammars -- More Algebras for Determiners. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI LNAI subline. It constitutes the refereed proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics, LACL 2005, held in Bordeaux, France in April 2005. The 25 revised full papers presented were carefully reviewed and selected from over 40 submissions. The papers address a wide range of logical and formal methods in computational linguistics with studies of particular grammar formalisms and their computational properties, language engineering, and traditional topics about the syntax/semantics interface. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v3492 606 $aArtificial intelligence 606 $aMachine theory 606 $aNatural language processing (Computer science) 606 $aArtificial Intelligence 606 $aFormal Languages and Automata Theory 606 $aNatural Language Processing (NLP) 615 0$aArtificial intelligence. 615 0$aMachine theory. 615 0$aNatural language processing (Computer science). 615 14$aArtificial Intelligence. 615 24$aFormal Languages and Automata Theory. 615 24$aNatural Language Processing (NLP). 676 $a410.285 701 $aBlache$b Philippe$01295256 712 12$aLACL 2005 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768444803321 996 $aLogical aspects of computational linguistics$94196996 997 $aUNINA