nach oben

Journal of Automated Reasoning

Erschienen in:

09.05.2022

Special Issue of Selected Extended Papers of IJCAR 2020

verfasst von: Nicolas Peltier, Viorica Sofronie-Stokkermans

Erschienen in: Journal of Automated Reasoning | Ausgabe 3/2022

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Excerpt

This special issue of the Journal of Automated Reasoning is dedicated to selected papers presented at the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), initially planned to be held in Paris, but—due to the COVID-19 pandemic—held by remote conferencing during July 1–4, 2020. IJCAR is the premier international joint conference on all topics in automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops. IJCAR 2020 united CADE, the Conference on Automated Deduction, FroCoS, the International Symposium on Frontiers of Combining Systems, ITP, the International Conference on Interactive Theorem Proving, and TABLEAUX, the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. …

Nächster Artikel The Resolution of Keller’s Conjecture

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Titel: Special Issue of Selected Extended Papers of IJCAR 2020
verfasst von: Nicolas Peltier
Viorica Sofronie-Stokkermans
Publikationsdatum: 09.05.2022
Verlag: Springer Netherlands
Erschienen in: Journal of Automated Reasoning / Ausgabe 3/2022
Print ISSN: 0168-7433
Elektronische ISSN: 1573-0670
DOI: https://doi.org/10.1007/s10817-022-09622-6

Springer Professional

Excerpt

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Weitere Artikel der Ausgabe 3/2022

Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols

Combination of Uniform Interpolants via Beth Definability

The Resolution of Keller’s Conjecture

Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains

Polite Combination of Algebraic Datatypes