Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solv…

Economics of Land Degradation and Improvement – A Global Assessment for Sus…

This volume deals with land degradation, which is occurring in almost all terrestrial biomes and agro-ecologies, in both low and high income countries and is stretching to about 30% of the total global land area. About three billion people reside in these degraded lands. However, the impact of land degradation is especially severe on livelihoods of the poor who heavily depend on natural resourc…

Nonlinear Acoustics

Edition

-

ISBN/ISSN

9783031589638

Collation

-

Series Title

-

Call Number

-

IDT 2022: *mit.sprache.teil.haben Band 1: Mit Sprache handeln

Edition

-

ISBN/ISSN

9783503211029

Collation

-

Series Title

-

Call Number

-

Ukraine's Journey to Recovery, Reform and Post-War Reconstruction

Edition

-

ISBN/ISSN

9783031664342

Collation

-

Series Title

-

Call Number

-

Representation Learning for Natural Language Processing

Edition

-

ISBN/ISSN

9789819916009

Collation

-

Series Title

-

Call Number

-

Responsive Rechtssoziologie – Theoriegeschichte in systematischer Absicht

Edition

-

ISBN/ISSN

9783658411411

Collation

-

Series Title

-

Call Number

-

Managing Infodemics in the 21st Century

Edition

-

ISBN/ISSN

9783031277894

Collation

-

Series Title

-

Call Number

-

Die Ukraine als Objekt russischer Großmachtansprüche

Edition

-

ISBN/ISSN

9783732989638

Collation

-

Series Title

109

Call Number

-

Splendors of Quanzhou, Past and Present

Edition

-

ISBN/ISSN

9789811980367

Collation

-

Series Title

-

Call Number

-