{"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":65,"n_cols":5,"rows_kept":65,"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],[7,2,7,3],[8,2,8,3],[15,2,15,3],[15,4,15,5],[16,2,16,3],[16,4,16,5],[17,2,17,3],[17,4,17,5],[18,2,18,3],[19,2,19,3],[21,2,21,3],[22,2,22,3],[29,2,29,3],[30,2,30,3],[35,2,35,3],[36,2,36,3],[36,4,36,5],[37,2,37,3],[37,4,37,5],[38,2,38,3],[39,2,39,3],[42,2,42,3],[43,2,43,3],[44,2,44,3],[45,2,45,3],[46,2,46,3],[57,2,57,3],[58,2,58,3],[62,2,62,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996386917103316"]
[null,null,"Titolo",null,"Die Jovis, 27 Februarii, 1650. Ordered by the Parliament, that the officers belonging to the recruits and forces which now are, or hereafter shall be raised for the service of this Commonwealth in Ireland, do constantly attend their respective charges; .. [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed by John Field, Printer to the Parliament of England, 1650 [i.e. 1651]"]
[null,null,"Descrizione fisica",null,"1 sheet ([1] p.)"]
[null,null,"Soggetti",null,"Broadsides17th century.England"]
[{"$nulls":4},"Great Britain Militia Law and legislation Early works to 1800"]
[{"$nulls":4},"Great Britain History Commonwealth and Protectorate, 1649-1660 Early works to 1800"]
[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 caption title and opening words of text."]
[{"$nulls":4},"Year given according to Lady Day dating."]
[{"$nulls":4},"Steele notation (exclusive of order to print): now Ports, observed."]
[{"$nulls":4},"Reproduction of original in the British Library."]
[null,null,null,"Sommario/riassunto","eebo-0018"]
[null,"2.","Record Nr.",null,"UNINA9910708202703321"]
[null,null,"Autore",null,"Hershler Robert"]
[null,null,"Titolo",null,"Annotated checklist of freshwater truncatelloidean gastropods of the western United States, with an illustrated key to the genera"]
[null,null,"Pubbl/distr/stampa",null,"Denver, Colorado, : Bureau of Land Management National Operation Center, Information and Publishing Services Section, ℗♭2017, 2017"]
[null,null,"Descrizione fisica",null,"1 online resource (vii, 141 pages) : illustrations (chiefly color), color map"]
[{"$nulls":4},"1 online resource"]
[null,null,"Collana",null,"Technical note ; ; 449"]
[null,null,"Soggetti",null,"Freshwater snails - West (U.S.)"]
[{"$nulls":4},"Truncatellidae"]
[{"$nulls":4},"Gastropoda"]
[{"$nulls":4},"Hydrobiidae"]
[{"$nulls":4},"Freshwater snails"]
[{"$nulls":4},"Classification"]
[{"$nulls":4},"West 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","\"June 2017.\""]
[{"$nulls":4},"\"BLM/OC/ST-17/003+6524.\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (pages 73-84)."]
[null,null,"Nota di contenuto",null,"Methods -- Key to the freshwater truncatelloidean genera of the western United States -- Species checklist : amnicolidae -- Species checklist : cochliopidae -- Species checklist : hydrobiidae -- Species checklist : lithoglyphidae -- Species checklist : uncertain -- Literature cited -- Appendix."]
[null,"3.","Record Nr.",null,"UNINA9910768434103321"]
[null,null,"Titolo",null,"Automated Deduction in Geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers / / edited by Franz Winkler"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004"]
[null,null,"ISBN",null,"1-280-30680-7"]
[{"$nulls":4},"9786610306800"]
[{"$nulls":4},"3-540-24616-9"]
[null,null,"Edizione",null,"[1st ed. 2004.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VII, 229 p.)"]
[null,null,"Collana",null,"Lecture Notes in Artificial Intelligence ; ; 2930"]
[null,null,"Disciplina",null,"516/.00285"]
[null,null,"Soggetti",null,"Geometry"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Computer science—Mathematics"]
[{"$nulls":4},"Computer graphics"]
[{"$nulls":4},"Pattern perception"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Discrete Mathematics in Computer Science"]
[{"$nulls":4},"Computer Graphics"]
[{"$nulls":4},"Pattern Recognition"]
[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 at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"Algorithmic Tests for the Normal Crossing Property -- The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction -- Using Computer Algebra Tools to Classify Serial Manipulators -- MMP/Geometer – A Software Package for Automated Geometric Reasoning -- The SymbolicData GEO Records – A Public Repository of Geometry Theorem Proof Schemes -- A New Structural Rigidity for Geometric Constraint Systems -- Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving -- The Nonsolvability by Radicals of Generic 3-connected Planar Graphs -- Function-Based Shape Modeling: Mathematical Framework "]
[{"$nulls":4},"and Specialized Language -- C 1 Spline Implicitization of Planar Curves -- Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method -- GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically -- Distance Coordinates Used in Geometric Constraint Solving."]
[null,null,null,"Sommario/riassunto","This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics."]