01584nam0 22003373i 450 SUN009421020151120101600.498978-35-400-9732-720130708d1980 |0engc50 baengDE|||| |||||Topological model theoryJorg Flum, Martin ZieglerBerlinSpringer1980X, 149 p.24 cm.001SUN01022502001 *Lecture notes in mathematics769210 Berlin [etc.]Springer1964-215 Dal 2011 i volumi sono disponibili in formato elettronico.03D35Undecidability and degrees of sets of sentences [MSC 2020]MFSUNC02443603B60Other nonclassical logic [MSC 2020]MFSUNC02887303C90Nonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020]MFSUNC02887412LxxConnections between field theory and logic [MSC 2020]MFSUNC029287BerlinSUNL000066Flum, JörgSUNV04426855649Ziegler, MartinSUNV075384348915SpringerSUNV000178650Flum, JorgFlum, JörgSUNV062007ITSOL20201012RICA/sebina/repository/catalogazione/documenti/Flum, Ziegler - Topological model theory.pdfContentsSUN0094210UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1425 08 9358 I 20130708 Topological model theory81018UNICAMPANIA05860nam 2200673 450 991082631970332120230807212309.03-03826-740-6(CKB)3710000000321536(EBL)1912654(SSID)ssj0001431993(PQKBManifestationID)11781589(PQKBTitleCode)TC0001431993(PQKBWorkID)11388253(PQKB)11668404(Au-PeEL)EBL1912654(CaPaEBR)ebr11001176(OCoLC)899942332(MiAaPQ)EBC1912654(EXLCZ)99371000000032153620150116h20152015 uy 0engur|n|---|||||txtccrAdvances in energy materials and environment engineering selected, peer reviewed papers from the 2014 International Conference on Energy Materials and Environment Engineering (ICEMEE 2014), October 25-26, 2014, Guangzhou, China /edited by Peijiang Zhou and Aragona PattyPfaffikon, Switzerland :Trans Tech Publications Ltd,2015.Pfaffikon, Switzerland ;Enfield, New Hampshire :Trans Tech Publications Ltd :Trans Tech Publications Inc.,[date of distribution not identified]©20151 online resource (764 p.)Applied Mechanics and Materials,1662-7482 ;Volume 700Description based upon print version of record.3-03835-355-8 Includes bibliographical references at the end of each chapters and indexes.Advances in Energy Materials and Environment Engineering; Preface and Conference Organization; Table of Contents; Chapter 1: Engineering Decisions in Area of Renewable Energy; Biomass Molding Technology and the Research State of Biomass Binder; Comparative Study of Various Models to Estimate Hourly Solar Irradiance: Application for Performance Analysis of a Renewable Energy DC-Micro Grid; Design of Single Axis Tracking Solar Photovoltaic Tracking System; Development of Software for Analyzing of Solar Irradiance and Sizing of Stand-Alone PV Power SystemsDevelopment of Software of Climate Analysis for Generation the Energy with Wind TurbineMultiobjective Evolutionary Algorithms MOEA to Solve Task Allocation Problems in Multiagent Systems for DC MicroGrid; Passive Control for a 2D Wind Turbine Blade with a Locally Flexible Structure at Low Reynolds Number; Research on the Single Phase Grid-Connected Inverter System of Small Wind Power; Study on Solar Energy for Pre-Cooling Technology of Fruit and Vegetable; Study on the Liquefaction Technology of Corn Stalk-Biomass Materials; Wind Farm Collector System ResearchWind Turbine Failure Rate Calculation Method Considering Multi-Factor InfluencesChapter 2: Engineering Decisions in Area of Traditional Power Engineering; A New Fuzzy Petri Net Model for Power Grid Fault Diagnosis; Analysis of 50Hz Electric Fields Generated by Multi-Circuit Transmission Lines on the Same Tower; Application of Grey Relation Analysis Method in Component-Based Load Modeling; Disaster Resistance and Emergency Evaluation of Urban Power Grid; Research on Distribution Transformer Condition Assessment Method Based on Core State Variable SetResearch on the Impact of Power Grid Harmonic on Energy Meter and its Solution MethodsStudy on the Lightning Current Amplitude Distribution in Shenzhen Power Grid; Time-Frequency Analysis Method in the Transient Power Quality Disturbance Analysis Application; Overview of Impacts of Distribution Generations and Micro Grids on Active Distribution Network Operation; Chapter 3: Energy Materials and Technology; A Study on the Luminescent Properties and Energy Transfer of Na2BaMgP2O8:Tb3+, Eu3+ Phosphor; Corrosion Behavior of Conducting Polymer PANI in Simulating PEMFC ConditionsEffects of Sb or Ba Addition on the Piezoelectric Properties of PZTPreparation of Carbon Monoliths by a Simple Polymer Blend Technique; Preparation of PNN-PZT Ceramics and Piezoelectric Characteristics; Study of Substrate for the Zinc Electrode in Acid Zn-PbO2 Flow Battery; Template-Free Hydrothermal Synthesis of Octahedral Fe3O4 Microcrystals and its Magnetic Property; The Research on the (1-x) PZT-x PMN Piezoelectric Materials; Study of the Affecting Factors on the Desulfurization Activities of Co-Doped TiO2 PhotocatalystSynthese, Crystal Structure of O-P-O Bridged MnIII(Schiff Base) Phosphinate ComplexeCollection of selected, peer reviewed papers from the 2014 International Conference on Energy Materials and Environment Engineering (ICEMEE 2014), October 25-26, 2014, Guangzhou, China. The 142 papers are grouped as follows: Chapter 1: Engineering Decisions in Area of Renewable Energy; Chapter 2: Engineering Decisions in Area of Traditional Power Engineering; Chapter 3: Energy Materials and Technology; Chapter 4: Energy-Saving Technology; Chapter 5: Materials and Technologies of Environmental Engineering, Development and Protection of Bioresources; Chapter 6: Waste Disposal and Pollution ContrApplied mechanics and materials ;Volume 700.Energy storageMaterialsCongressesEnvironmental engineeringCongressesRenewable energy sourcesResearchCongressesEnergy storageMaterialsEnvironmental engineeringRenewable energy sourcesResearch620.11297Zhou PeijiangPatty AragonaMiAaPQMiAaPQMiAaPQBOOK9910826319703321Advances in energy materials and environment engineering4025987UNINA