{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"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":95,"n_cols":5,"rows_kept":95,"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],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[14,2,14,3],[14,4,14,5],[15,2,15,3],[15,4,15,5],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[33,2,33,3],[34,2,34,3],[37,2,37,3],[40,2,40,3],[40,4,40,5],[41,2,41,3],[41,4,41,5],[42,2,42,3],[42,4,42,5],[43,2,43,3],[44,2,44,3],[49,2,49,3],[50,2,50,3],[51,2,51,3],[88,2,88,3],[89,2,89,3],[93,2,93,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA990003160320403321"]
[null,null,"Titolo",null,"La politique fiscale dans un pays en voie de developpement / John H. Adler. Insuffisance de l'epargne privee et inflation dans les pays sous-developpes / Bernard Ducros. Inflation : quelques lecons tirees de recentes experiences a l'etranger / Arthur W. Marget"]
[null,null,"Pubbl/distr/stampa",null,"Paris : Institut pour le developpement économique : Banque internationale pour la reconstruction et le developpement, 1963"]
[null,null,"Descrizione fisica",null,"varie seq. di pag."]
[null,null,"Collana",null,"La formation du capital. Articles et etudes ; 1"]
[null,null,"Disciplina",null,"F/3.2"]
[{"$nulls":4},"J/1.52"]
[{"$nulls":4},"N/2.321"]
[null,null,"Locazione",null,"SES"]
[null,null,"Collocazione",null,"F/3.2 POL/63"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","[Trad. di: Fiscal Policy in a Developing Country. Inflation : Some Lessons of Recent Foreign Experience]"]
[null,"2.","Record Nr.",null,"UNISA996199993903316"]
[null,null,"Titolo",null,"Intelligent Computer Mathematics [[electronic resource] ] : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / / edited by Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014"]
[null,null,"ISBN",null,"3-319-08434-8"]
[null,null,"Edizione",null,"[1st ed. 2014.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XX, 458 p. 111 illus.)"]
[null,null,"Collana",null,"Lecture Notes in Artificial Intelligence ; ; 8543"]
[null,null,"Disciplina",null,"512"]
[null,null,"Soggetti",null,"Computer science—Mathematics"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Natural language processing (Computer science)"]
[{"$nulls":4},"Information storage and retrieval"]
[{"$nulls":4},"Symbolic and Algebraic Manipulation"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Math Applications in Computer Science"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Natural Language Processing (NLP)"]
[{"$nulls":4},"Information Storage and Retrieval"]
[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,"Invited Talks.-What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools -- Towards Robust Hyperlinks for Web-Based Scholarly Communication -- Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram Alpha -- Calculemus -- Towards the Formal Reliability Analysis of Oil and Gas Pipelines -- Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition -- A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata -- Detecting Unknots via Equational Reasoning, I: Exploration -- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition "]
[{"$nulls":4},"-- Hipster: Integrating Theory Exploration in a Proof Assistant -- Formalization of Complex Vectors in Higher-Order Logic -- A Mathematical Structure for Modeling Inventions -- Digital Mathematics Library -- Search Interfaces for Mathematicians -- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics -- PDF/A-3u as an Archival Format for Accessible Mathematics -- Which One Is Better: Presentation-Based or Content-Based Math Search? -- POS Tagging and Its Applications for Mathematics -- Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia -- Mathematical Knowledge Management -- Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? -- Realms: A Structure for Consolidating Knowledge about Mathematical Theories -- Matching Concepts across HOL Libraries -- Mining State-Based Models from Proof Corpora -- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices -- Flexary Operators for Formalized Mathematics -- Interactive Simplifier Tracing and Debugging in Isabelle -- Towards an Interaction-based Integration of MKM Services into End-User Applications -- Towards Knowledge Management for HOL Light -- Automated Improving of Proof Legibility in the Mizar System -- A Vernacular for Coherent Logic -- An Approach to Math-Similarity Search -- Systems and Projects -- Digital Repository of Mathematical Formulae -- NNexus Reloaded -- E-books and Graphics with LATExml -- System Description: MathHub.info -- Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description -- System Description: A Semantics-Aware LATEX-to-Office Converter -- Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians’ Information Needs -- SAT-Enhanced Mizar Proof Checking -- A Framework for Formal Reasoning about Geometrical Optics."]
[null,null,null,"Sommario/riassunto","This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014, and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics. The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital Mathematics Libraries track - evolved from the DML workshop series - features math-aware technologies, standards, algorithms and processes towards the fulfillment of the dream of a global DML. The Mathematical Knowledge Management track of CICM is concerned with all aspects of managing mathematical knowledge in the informal, semi-formal, and formal settings. The Systems and Projects track presents short descriptions of existing systems or on-going projects in the areas of all the other tracks of the conference."]
[null,"3.","Record Nr.",null,"UNINA9910780742603321"]
[null,null,"Autore",null,"Peiris Shanaka"]
[null,null,"Titolo",null,"Post-Stabilization Economics in Sub-Saharan Africa : : Lessons from Mozambique / / Shanaka Peiris, Jean Clément"]
[null,null,"Pubbl/distr/stampa",null,"Washington, D.C. : , : International Monetary Fund, , 2008"]
[null,null,"ISBN",null,"1-4552-9931-6"]
[{"$nulls":4},"1-4527-9776-5"]
[{"$nulls":4},"1-283-53647-1"]
[{"$nulls":4},"9786613848925"]
[{"$nulls":4},"1-4519-4537-X"]
[null,null,"Descrizione fisica",null,"1 online resource (730 p.)"]
[null,null,"Disciplina",null,"330.9679"]
[null,null,"Soggetti",null,"Economic assistance - Mozambique"]
[{"$nulls":4},"Postwar reconstruction - Mozambique"]
[{"$nulls":4},"Poverty - Mozambique"]
[{"$nulls":4},"Exports and Imports"]
[{"$nulls":4},"Foreign Exchange"]
[{"$nulls":4},"Macroeconomics"]
[{"$nulls":4},"Public Finance"]
[{"$nulls":4},"Production and Operations Management"]
[{"$nulls":4},"Production"]
[{"$nulls":4},"Cost"]
[{"$nulls":4},"Capital and Total Factor Productivity"]
[{"$nulls":4},"Capacity"]
[{"$nulls":4},"Government Policy"]
[{"$nulls":4},"Provision and Effects of Welfare Program"]
[{"$nulls":4},"Trade: General"]
[{"$nulls":4},"Macroeconomics: Production"]
[{"$nulls":4},"Industry Studies: Primary Products and Construction: General"]
[{"$nulls":4},"Foreign Aid"]
[{"$nulls":4},"Currency"]
[{"$nulls":4},"Foreign exchange"]
[{"$nulls":4},"International economics"]
[{"$nulls":4},"Public finance & taxation"]
[{"$nulls":4},"Social welfare & social services"]
[{"$nulls":4},"Total factor productivity"]
[{"$nulls":4},"Real exchange rates"]
[{"$nulls":4},"Exports"]
[{"$nulls":4},"Exchange rates"]
[{"$nulls":4},"Mining sector"]
[{"$nulls":4},"International trade"]
[{"$nulls":4},"Foreign aid"]
[{"$nulls":4},"Industrial productivity"]
[{"$nulls":4},"Poverty"]
[{"$nulls":4},"Mineral industries"]
[{"$nulls":4},"International relief"]
[{"$nulls":4},"Mozambique Economic conditions 1975-"]
[{"$nulls":4},"Mozambique Economic policy"]
[{"$nulls":4},"Mozambique, Republic of"]
[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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references."]
[null,null,"Nota di contenuto",null,"Introduction and overview / Jean A.P. Clément -- Sustaining growth takeoffs : lessons from Mozambique / Jean A.P. Clément and Shanaka J. Peiris -- Halving the poverty rate by 2015 / Louise Fox, Rui Benfica, and Melissa Sekkel -- Sustaining growth in the long term / Sam Jones -- Monetary and financial sector policies : the road to price and financial stability / Shanaka J. Peiris and Victor Lledó -- Monetary policy in Sub-Saharan Africa : lessons from a dynamic stochastic general equilibrium model applied to Mozambique / Shanaka J. Peiris and Magnus Saxegaard -- Macroeconomic management of scaled-up foreign aid / Shanaka J. Peiris -- Government-donor partnerships : Mozambique as a model of donor coordination / Felix Fischer, Emmy Bosten, and Victor Lledó -- Managing mineral resources : from curse to blessing / Julien Hartley and James Otto -- Strengthening Mozambique's business environment : diagnostics, strategies, and outcomes / Victor Lledó -- Export performance and competitiveness in Mozambique / Magnus Saxegaard."]
[null,null,null,"Sommario/riassunto","Mozambique is an economic success story in sub-Saharan Africa (SSA). Its remarkable achievements offer valuable lessons to other low-income countries in a post-stabilization economic phase, including how they can efficiently manage a scaling up of foreign aid aimed at poverty reduction. Of special interest to other sub-Saharan countries are the book's discussions of Mozambique's progress toward consolidating macroeconomic and financial stability, and the challenges it faces in ensuring long-term sustainability, creating a virtuous cycle of natural resource use, and implementing second-generation structural reforms to sustain its growth. This book also provides a summary of the most recent research on issues related to post-stabilization economics in SSA."]