{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":5,"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":70,"n_cols":5,"rows_kept":70,"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],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[13,2,13,3],[13,4,13,5],[14,2,14,3],[14,4,14,5],[15,2,15,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],[23,2,23,3],[24,2,24,3],[27,2,27,3],[29,2,29,3],[29,4,29,5],[30,2,30,3],[30,4,30,5],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[37,2,37,3],[38,2,38,3],[41,2,41,3],[41,4,41,5],[42,2,42,3],[42,4,42,5],[43,2,43,3],[43,4,43,5],[44,2,44,3],[45,2,45,3],[47,2,47,3],[48,2,48,3],[49,2,49,3],[54,2,54,3],[55,2,55,3],[59,2,59,3],[59,4,59,5],[60,2,60,3],[60,4,60,5],[61,2,61,3],[61,4,61,5],[62,2,62,3],[63,2,63,3],[64,2,64,3],[65,2,65,3],[66,2,66,3],[67,2,67,3],[68,2,68,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910374158403321"]
[null,null,"Autore",null,"Gallarati Scotti, Tommaso"]
[null,null,"Titolo",null,"L'ora delle tenebre : carnets di guerra 1915-1918 / Tommaso Gallarati Scotti ; a cura di Diego Leoni e Irene Tessaro"]
[null,null,"Pubbl/distr/stampa",null,"Roma : Donzelli, 2019"]
[null,null,"ISBN",null,"978-88-6843-928-6"]
[null,null,"Descrizione fisica",null,"V, 221 p., [8] carte di tav. : ill., 1 ritratto ; 22 cm"]
[null,null,"Collana",null,"Saggi. Storia e scienze sociali"]
[null,null,"Disciplina",null,"940.4145092"]
[null,null,"Locazione",null,"FSPBC"]
[null,null,"Collocazione",null,"XIV B 2890"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNISA996465313103316"]
[null,null,"Titolo",null,"Algebraic and logic programming : international workshop, Gaussing, GDR, November 14-18, 1988 : proceedings / / J. Grabowski, P. Lescanne, W. Wechler (editors)"]
[null,null,"Pubbl/distr/stampa",null,"Berlin : , : Springer-Verlag, , [1988]"]
[{"$nulls":4},"©1988"]
[null,null,"ISBN",null,"3-540-46063-2"]
[null,null,"Edizione",null,"[1st ed. 1988.]"]
[null,null,"Descrizione fisica",null,"1 online resource (IX, 269 p.)"]
[null,null,"Collana",null,"Lecture notes in computer science ; ; 343"]
[null,null,"Disciplina",null,"005.115"]
[null,null,"Soggetti",null,"Logic programming"]
[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,"ACP with signals -- Functional extensions to prolog: Are they needed? -- Narrowing and resolution in logic-functional programming languages -- Nondeterministic algebraic specifications and nonconfluent term rewriting -- OBJ: Programming with equalities, subsorts, overloading and parameterization -- Logic programming with polymorphically order-sorted types -- Integrating logic programming and equational specification of abstract data types -- Narrowing with built-in theories -- A completion procedure for hierarchical conditional rewriting systems -- An effective method for handling initial algebras -- Boolean valued models and incomplete specifications -- Types, modularisation and abstraction in logic programming -- Translating algebraic specifications to Prolog programs: A comparative study -- Rewrite rule systems for modal propositional logic -- A characterization of irreducible sets modulo left-linear term rewriting systems by tree automata -- Functional data term models and semantic unification -- Modular algebraic specifications -- Proving inductive theorems based on term rewriting systems -- Jungle evaluation for efficient term rewriting -- A new quasi-reducibility testing algorithm and its application to proofs by induction -- Fuzzy reasoning based on f-horn clause rules -- Babel: A functional and logic programming language based on constructor discipline and narrowing -- Refined compilation of pattern-matching for functional languages -- Narrowing in partial conditional equational theories -- Solving equations in an equational language -- Nonstandard logics of recursive programs and denotational semantics. ."]
[null,null,null,"Sommario/riassunto","This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics."]
[null,"3.","Record Nr.",null,"UNINA9910701868103321"]
[null,null,"Titolo",null,"Scientific cooperation [[electronic resource] ] : medicine and public health : protocol between the United States of America and China, signed at Beijing, December 4, 2008"]
[null,null,"Pubbl/distr/stampa",null,"[Washington, D.C.] : , : U.S. Dept. of State, , [2012?]"]
[null,null,"Descrizione fisica",null,"1 online resource (15 unnumbered pages)"]
[null,null,"Collana",null,"Treaties and other international acts series ; ; 08-1204"]
[null,null,"Soggetti",null,"Medicine, Preventive - Law and legislation - United States"]
[{"$nulls":4},"Medicine, Preventive - Law and legislation - China"]
[{"$nulls":4},"Public health - International cooperation"]
[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","Title from title screen (viewed on May 30, 2012)."]
[null,"4.","Record Nr.",null,"UNINA9910782370503321"]
[null,null,"Autore",null,"Laguerre Michel S"]
[null,null,"Titolo",null,"Global neighborhoods [[electronic resource] ] : Jewish quarters in Paris, London, and Berlin / / Michel S. Laguerre"]
[null,null,"Pubbl/distr/stampa",null,"Albany, : State University of New York Press, c2008"]
[null,null,"ISBN",null,"0-7914-7773-8"]
[{"$nulls":4},"1-4356-7510-X"]
[null,null,"Descrizione fisica",null,"1 online resource (301 p.)"]
[null,null,"Disciplina",null,"305.892/404091732"]
[null,null,"Soggetti",null,"Jewish neighborhoods - Europe"]
[{"$nulls":4},"Jews, European"]
[{"$nulls":4},"Jews - England - London"]
[{"$nulls":4},"Jews - France - Paris"]
[{"$nulls":4},"Jews - Germany - Berlin"]
[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 (p. 247-258) and index."]
[null,"5.","Record Nr.",null,"UNIORUON00070101"]
[null,null,"Autore",null,"RODINSON, Maxime"]
[null,null,"Titolo",null,"Peuple juif ou probleme juif ? / Maxime Rodinson"]
[null,null,"Pubbl/distr/stampa",null,"Paris, : François Maspero, 1981"]
[null,null,"ISBN",null,"27-07-11214-3"]
[null,null,"Descrizione fisica",null,"360 p. ; 18 cm"]
[null,null,"Disciplina",null,"296"]
[null,null,"Soggetti",null,"GIUDAISMO - Studi"]
[null,null,"Lingua di pubblicazione",null,"Francese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]