{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":4,"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":69,"n_cols":5,"rows_kept":69,"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],[17,2,17,3],[18,2,18,3],[22,2,22,3],[24,2,24,3],[24,4,24,5],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[33,2,33,3],[33,4,33,5],[34,2,34,3],[34,4,34,5],[35,2,35,3],[35,4,35,5],[36,2,36,3],[38,2,38,3],[39,2,39,3],[40,2,40,3],[41,2,41,3],[42,2,42,3],[43,2,43,3],[45,2,45,3],[45,4,45,5],[46,2,46,3],[46,4,46,5],[47,2,47,3],[48,2,48,3],[52,2,52,3],[53,2,53,3],[54,2,54,3],[55,2,55,3],[56,2,56,3],[60,2,60,3],[61,2,61,3],[65,2,65,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465789103316"]
[null,null,"Titolo",null,"Computer Science Logic [[electronic resource] ] : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings / / edited by Laurent Fribourg"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001"]
[null,null,"ISBN",null,"3-540-44802-0"]
[null,null,"Edizione",null,"[1st ed. 2001.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 628 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2142"]
[null,null,"Disciplina",null,"005.1/01/5113"]
[null,null,"Soggetti",null,"Programming languages (Electronic computers)"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Mathematical Logic and Foundations"]
[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 index."]
[null,null,"Nota di contenuto",null,"Invited Papers -- Local Reasoning about Programs that Alter Data Structures -- Applications of Alfred Tarski’s Ideas in Database Theory -- Locus Solum: From the Rules of Logic to the Logic of Rules -- Contributed Papers -- The Expressive Power of Horn Monadic Linear Logic -- Non-commutativity and MELL in the Calculus of Structures -- Quadratic Correctness Criterion for Non-commutative Logic -- Descriptive Complexity -- Capture Complexity by Partition -- An Existential Locality Theorem -- Actual Arithmetic and Feasibility -- The Natural Order-Generic Collapse for ?-Representable Databases over the Rational and the Real Ordered Group -- Semantics -- An Algebraic Foundation for Higraphs -- Semantic Characterisations of Second-Order Computability over the Real Numbers -- An Abstract Look at Realizability -- The Anatomy of Innocence -- Higher-Order Programs -- An Improved Extensionality Criterion for Higher-Order Logic Programs -- A Logic for Abstract State Machines -- Constrained Hyper "]
[{"$nulls":4},"Tableaux -- Modal Logics -- Modal Logic and the Two-Variable Fragment -- A Logic for Approximate First-Order Reasoning -- Inflationary Fixed Points in Modal Logic -- Categorical and Kripke Semantics for Constructive S4 Modal Logic -- Verification -- Labelled Natural Deduction for Interval Logics -- Decidable Navigation Logics for Object Structures -- The Decidability of Model Checking Mobile Ambients -- Automata -- A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem -- An Effective Extension of the Wagner Hierarchy to Blind Counter Automata -- Decision Procedure for an Extension of WS1S -- Lambda-Calculus -- Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic -- Intersection Logic -- Life without the Terminal Type -- Fully Complete Minimal PER Models for the Simply Typed ?-Calculus -- Induction -- A Principle of Induction -- On a Generalisation of Herbrand’s Theorem -- Well-Founded Recursive Relations -- Equational Calculus -- Stratified Context Unification Is in PSPACE -- Uniform Derivation of Decision Procedures by Superposition -- Complete Categorical Equational Deduction -- Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories -- Constructive Theory of Types -- Normalized Types -- Markov’s Principle for Propositional Type Theory -- Recursion for Higher-Order Encodings -- Monotone Inductive and Coinductive Constructors of Rank 2."]
[null,"2.","Record Nr.",null,"UNINA9910482431903321"]
[null,null,"Autore",null,"Anon"]
[null,null,"Titolo",null,"Poincten ende artijckelen, die sijn extie. graef Mauritz van Nassou gheaccordeert heeft aende officieren en̄ soldaten van het fort genaemt S. Andries [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"Delft, : [s.n.], 1600"]
[null,null,"Descrizione fisica",null,"Online resource (4°)"]
[null,null,"Lingua di pubblicazione",null,"Olandese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Reproduction of original in Koninklijke Bibliotheek, Nationale bibliotheek van Nederland."]
[null,"3.","Record Nr.",null,"UNINA9910818388703321"]
[null,null,"Autore",null,"Picardo Rosario"]
[null,null,"Titolo",null,"Funding ministry with five loaves and two fishes / / Rosario Picardo ; foreword by Mike Slaughter"]
[null,null,"Pubbl/distr/stampa",null,"Nashville, Tennessee : , : Abingdon Press, , 2016"]
[{"$nulls":4},"©2016"]
[null,null,"ISBN",null,"1-5018-1893-7"]
[null,null,"Descrizione fisica",null,"1 online resource (79 pages)"]
[null,null,"Disciplina",null,"248.4"]
[null,null,"Soggetti",null,"Christian life"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"4.","Record Nr.",null,"UNINA9910974913903321"]
[null,null,"Titolo",null,"Opportunities in biotechnology for future Army applications / / Committee on Opportunities in Biotechnology for Future Army Applications, Board on Army Science and Technology, Division on Engineering and Physical Sciences, National Research Council"]
[null,null,"Pubbl/distr/stampa",null,"Washington, D.C., : National Academy Press, c2001"]
[null,null,"ISBN",null,"9780309170734"]
[{"$nulls":4},"0309170737"]
[{"$nulls":4},"9780309503020"]
[{"$nulls":4},"0309503027"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (117 p.)"]
[null,null,"Collana",null,"The compass series"]
[null,null,"Disciplina",null,"355/.07/0973"]
[null,null,"Soggetti",null,"Biotechnology - United States"]
[{"$nulls":4},"Biotechnology - Research - United States"]
[{"$nulls":4},"Biotechnology"]
[{"$nulls":4},"Military research - United States"]
[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","\"This study was supported by Contract No. DAAD 19-99-L-0052 between the National Academy of Sciences and the Department of Defense\"--T.p. verso."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references."]
[null,null,"Nota di contenuto",null,"\"\"Cover\"\"; \"\"Front Matter\"\"; \"\"Preface\"\"; \"\"Acknowledgments\"\"; \"\"Contents\"\"; \"\"Figures, Tables, and Boxes\"\"; \"\"Executive Summary\"\"; \"\"1 Introduction\"\"; \"\"2 Biotechnology and the Army\"\"; \"\"3 Sensing the Battlefield Environment\"\"; \"\"4 Electronics and Computing\"\"; \"\"5 In Search of New Materials\"\"; \"\"6 Reducing Logistics Requirements\"\"; \"\"7 Soldier Health and Performance\"\"; \"\"8 Conclusions and Recommendations\"\"; \"\"References\"\"; \"\"Appendixes\"\"; \"\"Appendix A Biographical Sketches of Committee Members\"\"; \"\"Appendix B Meetings and Activities\"\"; \"\"Appendix C Chemical Sensing Using MEMS Devices\"\""]
[{"$nulls":4},"\"\"Appendix D Vaccination\"\""]
[null,null,null,"Sommario/riassunto","This report surveys opportunities for future Army applications in biotechnology, including sensors, electronics and computers, materials, logistics, and medical therapeutics, by matching commercial trends and developments with enduring Army requirements. Several biotechnology areas are identified as important for the Army to exploit, either by direct funding of research or by indirect influence of commercial "]
[{"$nulls":4},"sources, to achieve significant gains in combat effectiveness before 2025."]