{"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":39,"n_cols":5,"rows_kept":39,"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],[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],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[27,4,27,5],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[33,2,33,3],[34,2,34,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910257855403321"]
[null,null,"Autore",null,"Ventura, Francesca"]
[null,null,"Titolo",null,"Strumenti per l'agrometeorologia / Francesca Ventura, Paola Rossi Pisa"]
[null,null,"Pubbl/distr/stampa",null,"Roma : Aracne, 2004"]
[null,null,"ISBN",null,"978-88-7999-848-2"]
[null,null,"Descrizione fisica",null,"73 p. : ill. ; 25 cm"]
[null,null,"Collana",null,"A07"]
[null,null,"Disciplina",null,"630.251"]
[null,null,"Locazione",null,"FAGBC"]
[null,null,"Collocazione",null,"60 630.251 VENF 2004"]
[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,"UNIBAS000044066"]
[null,null,"Autore",null,"Errera, Carlo"]
[null,null,"Titolo",null,"L'epoca delle grandi scoperte geografiche / Carlo Errera"]
[null,null,"Pubbl/distr/stampa",null,"Milano : Hoepli, 1976"]
[null,null,"Edizione",null,"[Ristampa anastatica]"]
[null,null,"Descrizione fisica",null,"XXVIII, 505 p. : [21] c. di tav. di cui 3 ripieg. ; 17 cm"]
[null,null,"Disciplina",null,"910.9"]
[null,null,"Soggetti",null,"Scoperte geografiche - Storia"]
[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","In copertina: Reprint antichi manuali Hoepli"]
[null,"3.","Record Nr.",null,"UNINA9910872627403321"]
[null,null,"Autore",null,"Kozen Dexter <1951->"]
[null,null,"Titolo",null,"Logic in Computer Science, 10th Symposium on (LICS '95"]
[null,null,"Pubbl/distr/stampa",null,"[Place of publication not identified], : IEEE Computer Society Press, 1995"]
[null,null,"Descrizione fisica",null,"1 online resource (xiii, 518 pages) : illustrations"]
[null,null,"Disciplina",null,"004.0151"]
[null,null,"Soggetti",null,"Computer science - Mathematics"]
[{"$nulls":4},"Logic, Symbolic and mathematical"]
[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."]
[null,null,null,"Sommario/riassunto","The proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda calculus and types, unification and rewriting, and linear logic. There are also four invited presentations: a complete proof system for QPTL; the semantic challenge of Verilog HDL; experience using type theory as a foundation for computer science; and origins and metamorphoses of the trinity--logic, nets, automata. No index. Annotation copyright by Book News, Inc., Portland, OR."]