{"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":47,"n_cols":5,"rows_kept":47,"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],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[20,2,20,3],[21,2,21,3],[24,2,24,3],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[29,4,29,5],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[39,2,39,3],[40,2,40,3],[44,2,44,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466082403316"]
[null,null,"Titolo",null,"Practical Aspects of Declarative Languages [[electronic resource] ] : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings / / edited by Yuliya Lierler, Walid Taha"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017"]
[null,null,"ISBN",null,"3-319-51676-0"]
[null,null,"Edizione",null,"[1st ed. 2017.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 215 p. 31 illus.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 10137"]
[null,null,"Disciplina",null,"005.131"]
[null,null,"Soggetti",null,"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Computer Appl. in Administrative Data Processing"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Eliminating Irrelevant Non-determinism in Functional Logic Programs -- Canonicalizing High-Level Constructs in Picat -- An Overview of P_rhoLog -- Integrating Answer Set Programming with Object-oriented Languages -- Extending Answer Set Programs with Interpreted Functions as First-class Citizens -- Lowering the learning curve for declarative programming: a Python API for the IDP system -- Failing Faster: Overlapping Patterns for Property-Based Testing -- Boltzmann Samplers for Closed Simply-Typed Lambda Terms -- Selection Equilibria of Higher-Order Games -- DALI for Cognitive Robotics: Principles and Prototype Implementation -- Funky Grooves: Declarative Programming of Full-Fledged Musical Applications -- A Domain-Specific Language for Software-Defined Radio -- A Declarative DSL for "]
[{"$nulls":4},"Customizing ASCII Art -- Using Iterative Deepening for Probabilistic Logic Inference."]
[null,null,null,"Sommario/riassunto","This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages. ."]
[null,"2.","Record Nr.",null,"UNINA9910788421003321"]
[null,null,"Autore",null,"Waardenburg Jacques <1930-2015.>"]
[null,null,"Titolo",null,"Muslims as actors [[electronic resource] ] : Islamic meanings and Muslim interpretations in the perspective of the study of religions / / Jacques Waardenburg"]
[null,null,"Pubbl/distr/stampa",null,"Berlin ; ; New York, : Walter de Gruyter, 2007"]
[null,null,"ISBN",null,"3-11-091395-X"]
[null,null,"Descrizione fisica",null,"1 online resource (492 p.)"]
[null,null,"Collana",null,"Religion and reason ; ; v. 46"]
[null,null,"Classificazione",null,"BE 1580"]
[null,null,"Disciplina",null,"297.2"]
[null,null,"Soggetti",null,"Islam - Research"]
[{"$nulls":4},"Islam - Study and teaching"]
[{"$nulls":4},"Orientalism"]
[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,null,"Nota di bibliografia","Includes bibliographical references and indexes."]
[null,null,"Nota di contenuto",null,"Front matter -- Preface -- Contents -- Introduction -- Selected Literature -- Part One: Two Questions -- Chapter 1. Can the Science of Religion Render Service to the Study of Islam? -- Chapter 2. Can We Study Islam as a Signification System? -- Part Two: Issues in Islamic Studies -- Chapter 3. Islamic Studies and the Study of Religions and Cultures -- Chapter 4. Some Social Scientific Orientations in Islamic Studies -- Chapter 5. Islamic Studies and Intercultural Relations -- Chapter 6. Presuppositions and Assumptions in Islamic Studies -- Part Three: The Practice of Islamic Studies in History -- Chapter 7. Massignon as a Student of Islam (1883-1962) -- Chapter 8. Some Developments and Trends in Islamic Studies Since 1950 -- Chapter 9. Recent Scholarly Presentations of Islam -- Chapter 10. Islamic and Religious Studies under the Conditions of the Cold War -- Part Four: Studying Religions -- Chapter 11. Religions as a Subject of Empirical Research -- Chapter 12. Classical Phenomenology of Religion in the Netherlands 1920-1950 -- Chapter 13. Eliade as a Student of Religion (1907-1986) -- Part Five: Muslims and Their Islam -- Chapter 14. Believers in Focus. Exploring Muslim Life -- Chapter 15. Islamic Reform and Renewal. Recourse to Scripture -- Part Six: Further Reading -- 1. Middle Eastern Responses to Western Islamic Studies -- 2. Religion(s) and the Study of Religion(s) -- 3. Interpretative Studies of Religion -- 4. Gender and the Academic Study of Religion -- 5. The Study of Religions in Various Countries -- 6. Islamic Studies in Various "]
[{"$nulls":4},"Countries -- Indexes -- 1. Index of Persons -- 2. Index of Subjects -- 3. Index of Concepts (Problem-Oriented)"]
[null,null,null,"Sommario/riassunto","This book deals with Islamic studies and with the question how the scholarly study of religion can contribute to the study of Islam. The author advocates studying Islamic phenomena as signs and symbols interpreted and applied in diverse ways in existing traditions. He stresses the role of Muslims as actors in the ongoing debate about the articulation of Islamic ways of life and construction of Islam as a religion. A careful study of this debate should steer clear of political, religious, and ideological interests. Research in this area by Muslims and non-Muslim scholars alike should address the question of what Muslims have made of their Islam in specific circumstances. Current political contexts have created an unhealthy climate for pursuing an \"open\" approach to Islam based on reading, observing, listening and reflecting. Yet, precisely nowadays we need to look anew at ways of Muslim thinking and acting that refer to Islam and to avoid certain schemes of interpreting Muslim realities that are no longer adequate for present-day Muslim life situations. Muslim recourses to Islam can be studied as human constructions of value and meaning, and relations between Muslims and others can be seen in terms of human interaction, without blame always falling on Islam as such."]