{"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":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],[21,2,21,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],[31,2,31,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],[54,2,54,3],[55,2,55,3],[56,2,56,3],[58,2,58,3],[61,2,61,3],[63,2,63,3],[64,2,64,3],[67,2,67,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466124103316"]
[null,null,"Titolo",null,"Artificial Intelligence and Symbolic Computation [[electronic resource] ] : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings / / edited by Jacques Calmet, Jan Plaza"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998"]
[null,null,"ISBN",null,"3-540-49816-8"]
[null,null,"Edizione",null,"[1st ed. 1998.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 316 p.)"]
[null,null,"Collana",null,"Lecture Notes in Artificial Intelligence ; ; 1476"]
[null,null,"Disciplina",null,"006.3"]
[null,null,"Soggetti",null,"Artificial intelligence"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Computer science—Mathematics"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Symbolic and Algebraic Manipulation"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[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,"An inductive logic programming query language for database mining -- Bertrand Russell, Herbrand’s theorem, and the assignment statement -- Representing and reasoning with context -- From integrated reasoning specialists to “plug-and-play? reasoning components -- Reasoning about coding theory: The benefits we get from computer algebra -- Automatic generation of epsilon-delta proofs of continuity -- Finite model search for equational theories (FMSET) -- Specification and integration of theorem provers and computer algebra systems -- COLETTE, prototyping CSP solvers using a rule-based language -- An evolutionary algorithm for welding task sequence ordering -- Intuitionistic proof transformations and their application to constructive program synthesis -- Combining algebraic computing and term-rewriting for geometry theorem proving -- Cooperation between top-down and bottom-up theorem provers by subgoal clause transfer -- Polymorphic call-by-value calculus based on classical proofs -- "]
[{"$nulls":4},"Inference and verification in Medical Appropriateness Criteria using Gröbner Bases -- The unification problem for one relation Thue Systems -- Basic Completion with E-cycle Simplification -- SoleX: A domain-independent scheme for constraint solver extension -- Optimising propositional modal satisfiability for description logic subsumption -- Instantiation of existentially quantified variables in inductive specification proofs -- Knowledge discovery objects and queries in Distributed Knowledge Systems -- ALLTYPES: An algebraic language and TYPE system -- Real parametrization of algebraic curves -- Non-clausal reasoning with propositional definite theories."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998. The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery."]
[null,"2.","Record Nr.",null,"UNISALENTO991000466559707536"]
[null,null,"Autore",null,"Gander, Walter"]
[null,null,"Titolo",null,"Solving problems in scientific computing using Maple and MATLAB / Walter Gander, Jirí Hrebícek"]
[null,null,"Pubbl/distr/stampa",null,"Berlin : Springer, c2004"]
[null,null,"ISBN",null,"3540211276"]
[null,null,"Edizione",null,"[4th, expanded and rev. ed.]"]
[null,null,"Descrizione fisica",null,"xxii, 476 p. : ill. ; 24 cm"]
[null,null,"Classificazione",null,"AMS 68N15"]
[{"$nulls":4},"LC Q183.9.G36"]
[null,null,"Disciplina",null,"519.4"]
[null,null,"Soggetti",null,"Science - Data processing"]
[{"$nulls":4},"Maple (Computer file)"]
[{"$nulls":4},"MATLAB"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and indexes"]
[null,"3.","Record Nr.",null,"UNINA9910962272903321"]
[null,null,"Autore",null,"Read Phil"]
[null,null,"Titolo",null,"Mastering Autodesk Revit Architecture 2013 / / Phil Read, Eddy Krygiel, James Vandezande"]
[null,null,"Pubbl/distr/stampa",null,"Indianapolis, : John Wiley & Sons, 2012"]
[null,null,"ISBN",null,"9786613766885"]
[{"$nulls":4},"9781118721643"]
[{"$nulls":4},"1118721640"]
[{"$nulls":4},"9781118240090"]
[{"$nulls":4},"111824009X"]
[{"$nulls":4},"9781280995279"]
[{"$nulls":4},"1280995270"]
[{"$nulls":4},"9781118227008"]
[{"$nulls":4},"111822700X"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (1138 p.)"]
[null,null,"Collana",null,"Autodesk official training guide"]
[{"$nulls":4},"Sybex serious skills"]
[null,null,"Disciplina",null,"006.693"]
[{"$nulls":4},"720.28/40285536"]
[{"$nulls":4},"720.2840285536"]
[null,null,"Soggetti",null,"Architectural drawing - Computer-aided design"]
[{"$nulls":4},"Architectural design - Data processing"]
[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","Includes index."]
[null,null,"Nota di contenuto",null,"pt. 1. Fundamentals -- pt. 2. Understanding the workflow -- pt. 3. Modeling and massing for design -- pt. 4. Extended modeling techniques -- pt. 5. Documentation -- pt. 6. Construction and beyond."]
[null,null,null,"Sommario/riassunto","Learn BIM the Revit Way  Revit is Autodesk's industry-leading Building Information Modeling (BIM) software, and this Autodesk Official Training Guide thoroughly covers core Revit topics such as modeling, massing, sustainability, and more. It also brings you up to speed on advanced techniques such as using Revit in the cloud and how to go direct to fabrication.  Organized by real-world workflows, this book covers the interface, templates, worksharing, modeling and massing, visualization techniques for different industries, sustainability, roofs and floors, stairs and railing"]