| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990008327310403321 |
|
|
Autore |
Montero Moreno, Antonio |
|
|
Titolo |
Historia de la persecucion religiosa en España : 1936-1939 / por Antonio Montero Moreno |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Madrid : La Editorial Católica, 1961 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Biblioteca de autores cristianos |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484354003321 |
|
|
Titolo |
Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings / / edited by Loizos Michael, Antonis Kakas |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2016.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXII, 586 p. 70 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 10021 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Machine theory |
Computer science |
Software engineering |
Application software |
Database management |
Artificial Intelligence |
Formal Languages and Automata Theory |
Computer Science Logic and Foundations of Programming |
Software Engineering |
Computer and Information Systems Applications |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Belief revision -- Answer set programming -- Argumentation -- Probabilistic reasoning -- Handling inconsistencies -- Temporal logics and planning -- Description logics -- Decidability and complexity results. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910350300003321 |
|
|
Titolo |
Advances in Interdisciplinary Engineering : Select Proceedings of FLAME 2018 / / edited by Mukul Kumar, R. K. Pandey, Vikas Kumar |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2019 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2019.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XV, 917 p. 538 illus., 387 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Mechanical Engineering, , 2195-4364 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mechanical engineering |
Mechatronics |
Biomedical engineering |
Nuclear engineering |
Mechanical Engineering |
Biomedical Engineering and Bioengineering |
Nuclear Energy |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Nox Emission Reduction in Diesel Engine Through Developed Cooled Egr Setup -- Study of Enablers And Attributes for Effective Scm of Fmeg: A Review -- Impact Strength of Silver Date Palm Leaf Reinforced Polyester Composites -- Cfd Modeling of Commercial Slurry Flow Through Horizontal Pipeline -- Performance And Emission Analysis of A C.I. Engine Using Ethanol And Its Blends With Jojoba Biodiesel And Diesel As A Fuel -- Simulation & Modelling of Solar Trough Collector -- Effect of Oxygen Enrichment on The Performance of A Rotary Furnace: A Harbinger To Ecological Sustenance And Pollution Free Castings -- A Neural Network Based Comparative Analysis of Br, Lm And Scg Algorithms for Detection of Particulate Matter -- Theoretical Study of Solar Air Heater Using Matlab -- Decision Making for Selection of Most Suitable Materials for Biomedical Applications. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book presents select proceedings of the International Conference on Future Learning Aspects of Mechanical Engineering (FLAME 2018). The book discusses interdisciplinary areas such as automobile engineering, mechatronics, applied and structural mechanics, bio- |
|
|
|
|
|
|
|
|
|
|
mechanics, biomedical instrumentation, ergonomics, biodynamic modeling, nuclear engineering, agriculture engineering, and farm machineries. The contents of the book will benefit both researchers and professionals. . |
|
|
|
|
|
| |