{"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":42,"n_cols":5,"rows_kept":42,"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],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[39,2,39,3],[40,2,40,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466261903316"]
[null,null,"Titolo",null,"Logic for Programming, Artificial Intelligence, and Reasoning [[electronic resource] ] : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings / / edited by Nikolaj Bjørner, Andrei Voronkov"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012"]
[null,null,"ISBN",null,"3-642-28717-4"]
[null,null,"Edizione",null,"[1st ed. 2012.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XI, 446 p.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 7180"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Compilers (Computer programs)"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Compilers and Interpreters"]
[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","International conference proceedings."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and author index."]
[null,null,null,"Sommario/riassunto","This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74  submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss "]
[{"$nulls":4},"advances in these fields, and to exchange ideas in a scientifically emerging part of the world."]
[null,"2.","Record Nr.",null,"UNINA9910716660903321"]
[null,null,"Titolo",null,"U.S. response to the coup in Burma : hearing before the Subcommittee on East Asia, the Pacific, and International Cybersecurity Policy of the Committee on Foreign Relations, United States Senate, One Hundred Seventeenth Congress, first session, March 25, 2021"]
[null,null,"Pubbl/distr/stampa",null,"Washington : , : U.S. Government Publishing Office, , 2021"]
[null,null,"Descrizione fisica",null,"1 online resource (iii, 43 pages)"]
[null,null,"Collana",null,"S. hrg. ; ; 117-16"]
[null,null,"Soggetti",null,"Democratization - Burma"]
[{"$nulls":4},"Democracy - Burma"]
[{"$nulls":4},"National security - United States"]
[{"$nulls":4},"Legislative hearings."]
[{"$nulls":4},"Burma Politics and government 1988-"]
[{"$nulls":4},"Burma Foreign relations United States"]
[{"$nulls":4},"United States Foreign relations Burma"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]