{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":50,"n_cols":5,"rows_kept":50,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[11,2,11,3],[12,2,12,3],[15,2,15,3],[23,2,23,3],[23,4,23,5],[24,2,24,3],[24,4,24,5],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[43,2,43,3],[44,2,44,3],[47,2,47,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910462671203321"]
[null,null,"Autore",null,"Younes Munther Abdullatif <1952-, >"]
[null,null,"Titolo",null,"The Routledge introduction to Qur'anic Arabic / / Munther Younes"]
[null,null,"Pubbl/distr/stampa",null,"Milton Park, Abingdon, Oxon ; ; New York : , : Routledge, , 2013"]
[null,null,"ISBN",null,"0-203-10940-6"]
[{"$nulls":4},"1-283-84654-3"]
[{"$nulls":4},"1-136-26977-0"]
[null,null,"Descrizione fisica",null,"1 online resource (361 p.)"]
[null,null,"Disciplina",null,"492.7/82421"]
[null,null,"Soggetti",null,"Arabic language - English"]
[{"$nulls":4},"Electronic books."]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Includes index."]
[null,null,"Nota di contenuto",null,"Cover; The Routledge Introduction to Qur'ānic Arabic; Copyright; Contents; Introduction; Acknowledgements; Lesson One; Grammar: The definite article and the sun and moon letters; Lesson Two; Grammar: The plural of nouns and adjectives; Grammar: Subject-person markers on the perfect verb; Lesson Three; Grammar: Subject-person markers on the imperfect verb; Grammar: Emphasizing meaning; Grammar: Pronominal suffixes attached to verbs, nouns, and particles; Grammar: Expressing future time; Grammar; Lesson Four; Grammar: The different functions of"]
[{"$nulls":4},"Grammar: The pronunciation of the object/possessive pronounsGrammar: The passive voice; Grammar: More on subject markers on the perfect verb; Exercise: Word analysis; Lesson Five; Grammar: More on subject markers; Grammar: Passive voice; Grammar: Negation; Grammar: Number; Grammar: Cases; Grammar: Moods; Grammar: Verb-subject disagreement; Exercise: Stems and affixes; Exercise: Word analysis; Lesson Six; Grammar: The imperative; Exercise: Word analysis; Lesson Seven; Exercise 1: Word analysis; Exercise 2: Opposites; Grammar: Subject markers revisited; Grammar: Possessive/object pronouns"]
[{"$nulls":4},"Lesson EightExercise 1: The definite article and the sun and moon letters revisited; Exercise 2: Word analysis; Exercise 1: Word analysis; Exercise 2: Opposites; Lesson Nine; Exercise: Word analysis; Lesson Ten; Grammar: Roots and patterns; Grammar: The skeleton; Exercise: Active and passive participles; Exercise: Roots and families; Grammar: "]
[{"$nulls":4},"Root types; Lesson Eleven; Exercise 1: Active participles;  roots; Exercise 2: Roots and families; Exercise 3: Opposites; Exercise: Roots and patterns; Exercise: Roots and families; Lesson Twelve; Exercise: Roots and stems; Lesson Thirteen"]
[{"$nulls":4},"Grammar: Roots, stems, and patterns forms of the verb; Lesson Fourteen; Exercise 1: Verb forms; Exercise 2: Noun patterns; Exercise 3: Roots and families; Grammar: More on the passive; Lesson Fifteen; Exercise 1: Word study; Exercise 2: Roots and families; Lesson Sixteen; Grammar: Form III; Exercise 1: Word study; Exercise 2: Roots and families; Lesson Seventeen; Exercise 1: Word study; Exercise 2: Roots and families; Exercise 3: Opposites; Lesson Eighteen; Exercise: Word study; Lesson Nineteen; Exercise 1: Word study; Grammar: Initial weak (assimilated) roots in Form VIII"]
[{"$nulls":4},"Exercise 2: Roots and familiesLesson Twenty; Exercise 1: Word study; Grammar: Active and passive participles; Lesson Twenty One; Exercise: Word study; Lesson Twenty Two; Exercise 1: Nouns; Exercise 2: Participles; Exercise 3: Verbs; Exercise 4: Roots and families; Lesson Twenty Three; Exercise 1: Verbs; Exercise 2: Moods of the verb; Lesson Twenty Four; Exercise 1: Verb forms; Exercise 2: Moods of the verb; Exercise 3: The imperative; Lesson Twenty Five; Exercise 1: Verb forms; Exercise 2; Exercise 3: Moods of the verb; Exercise 4: Cases; Lesson Twenty Six; Exercise 1: Verb forms"]
[{"$nulls":4},"Exercise 2: Moods"]
[null,null,null,"Sommario/riassunto","The Routledge Introduction to Qur'?nic Arabic is an innovative, text-based, language course designed for students interested in acquiring a foundation in Qur'?nic and Classical Arabic.Focused on enhancing comprehension and vocabulary acquisition, the book contains 40 lessons designed to be covered in about 40 hours of classroom instruction. Starting with the shorter s?ras of the Qur'?n, such as al-Fatiha and those of the Juz' 'Amma, it utilizes their recurring vocabulary and grammatical structures to build a stable linguistic foundation for learners before moving on t"]
[null,"2.","Record Nr.",null,"UNISA996465859103316"]
[null,null,"Titolo",null,"Algebraic and Logic Programming [[electronic resource] ] : 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings / / edited by Michael Hanus, Mario Rodriguez-Artalejo"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996"]
[null,null,"ISBN",null,"3-540-70672-0"]
[null,null,"Edizione",null,"[1st ed. 1996.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VIII, 348 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 1139"]
[null,null,"Disciplina",null,"005.13/1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Architecture, Computer"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Computer System Implementation"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,"Nota di contenuto",null,"Toward the concurrent implementation of computational systems -- On negation as instantiation -- Independence in dynamically scheduled logic languages -- Heterogeneous constraint solving -- A hierarchy of semantics for normal constraint logic programs -- Order-sorted termination: The unsorted way -- Unravelings and ultra-properties -- Standardization theorem revisited -- Discrete Normalization and Standardization in Deterministic Residual Structures -- A language for the logical specification of processes and relations -- A process algebra for synchronous concurrent constraint programming -- An algebraic approach to mixins and modularity -- A strict border for the decidability of E-unification for recursive functions -- Prime "]
[{"$nulls":4},"factorizations of abstract domains using first-order logic -- Abstractions of uniform proofs -- Complementing logic program semantics -- Meaningless terms in rewriting -- Unique normal form property of Higher-Order Rewriting Systems -- ?-calculi with explicit substitutions and composition which preserve ?-strong normalization -- Algebraic semantics for functional logic programming with polymorphic order-sorted types -- Specifying type systems -- The semantic treatment of polymorphic specification languages."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS. The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled \"Toward the Concurrent Implementation of Computational Systems\". The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting, and types."]