{"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":43,"n_cols":5,"rows_kept":43,"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],[25,2,25,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],[33,2,33,3],[34,2,34,3],[35,2,35,3],[38,2,38,3],[39,2,39,3],[41,2,41,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466221903316"]
[null,null,"Titolo",null,"Logic Programming [[electronic resource] ] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings / / edited by Maurizio Gabbrielli, Gopal Gupta"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005"]
[null,null,"Edizione",null,"[1st ed. 2005.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 458 p.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 3668"]
[null,null,"Classificazione",null,"54.51"]
[null,null,"Disciplina",null,"005.115"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$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,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"OWL: A Description Logic Based Ontology Language -- Preference Reasoning -- The G12 Project: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization -- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems -- Guard and Continuation Optimization for Occurrence Representations of CHR -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis -- An Optimised Semantic Web Query Language "]
[{"$nulls":4},"Implementation in Prolog -- A Distributed and Probabilistic Concurrent Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction -- Abduction of Linear Arithmetic Constraints -- Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing Inductive Definitions to Propositional Satisfiability -- Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre-interpretations -- Deductive Multi-valued Model Checking -- Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs -- Testing for Termination with Monotonicity Constraints -- A Well-Founded Semantics with Disjunction -- Semantics of Framed Temporal Logic Programs -- Practical Higher-Order Pattern Unification with On-the-Fly Raising -- Small Proof Witnesses for LF -- A Type System for CHR -- Decision Support for Personalization on Mobile Devices -- A Generic Framework for the Analysis and Specialization of Logic Programs -- The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic -- Modeling Systems in CLP -- A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics -- IMPACT: Innovative Models for Prolog with Advanced Control and Tabling -- Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process -- Hybridization of Genetic Algorithms and Constraint Propagation for the BACP -- The MYDDAS Project: Using a Deductive Database for Traffic Characterization -- Open World Reasoning in Datalog -- Optimizing Queries for Heterogeneous Information Sources -- Denotational Semantics Using Horn Concurrent Transaction Logic -- Gentra4cp: A Generic Trace Format for Constraint Programming -- Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary -- Formalization and Verification of Interaction Protocols -- -LTL for Constraint-Based Security Protocol Analysis -- Concurrent Methodologies for Global Optimization -- A Temporal Programming Language for Heterogeneous Information Systems -- Nonmonotonic Logic Programs for the Semantic Web -- ICLP 2005 Doctoral Consortium -- Analysis and Optimization of CHR Programs."]
[null,"2.","Record Nr.",null,"UNINA9910586579503321"]
[null,null,"Titolo",null,"Plants and Palynomorphs around the Permian-Triassic Boundary of South China / / edited by Jianxin Yu, Jean Broutin, Zongsheng Lu"]
[null,null,"Pubbl/distr/stampa",null,"Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2022"]
[null,null,"ISBN",null,"981-19-1492-3"]
[null,null,"Edizione",null,"[1st ed. 2022.]"]
[null,null,"Descrizione fisica",null,"1 online resource (261 pages)"]
[null,null,"Collana",null,"New Records of the Great Dying in South China, , 2524-4582"]
[null,null,"Disciplina",null,"561.13"]
[null,null,"Soggetti",null,"Paleontology"]
[{"$nulls":4},"Plants - Evolution"]
[{"$nulls":4},"Plant Evolution"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Chapter 1 Literature Review -- Chapter 2 Stratigraphy of the studied sections -- Chapter 3 Materials and methods -- Chapter 4 Late Permian Changhsingian flora in varied palaeogeographic settings in South China  -- Chapter 5 Early Triassic Induan flora in varied palaeogeographic settings in South China -- Chapter 6 Palynology across the Permian-Triassic Boundary in South China -- Chapter 7 Extinction Pattern and recovery of the Permian-Triassic Flora in South China -- Chapter 8 Plant and environment co-evolution in Permian-Triassic Transition -- Chapter 9 Systematic Palaeontology -- Chapter 10 Plant Fossils -- Chapter 11 Megaspores -- Chapter 12 Spore and Pollen Fossils."]
[null,null,null,"Sommario/riassunto","This book documents timely and systematically marvelous fossils (plants and sporopollen) related to the biggest mass extinction of the Permian–Triassic transition. Numerous beautiful pictures and comprehensive records on the plants of this unique and critical interval of geohistory are presented in this book. It greatly contributes to understanding of the Permian–Triassic plant diversity and evolution. For geologists, it is important to understand the Permian–Triassic crisis, and for students, it is attractive to learn about the plants’ response to palaeoclimatic changes."]