Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Journal of Automated Reasoning
Erschienen in: Journal of Automated Reasoning 5/2020

22.05.2020

Preface: Selected Extended Papers from Interactive Theorem Proving 2018

verfasst von: Jeremy Avigad, Assia Mahboubi

Erschienen in: Journal of Automated Reasoning | Ausgabe 5/2020

Einloggen

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

search-config
loading …

Excerpt

The Ninth International Conference on Interactive Theorem Proving (ITP) was held on July 9–12, 2018, in Oxford, UK, as part of the Federated Logic Conference. This special issue of the Journal of Automated Reasoning contains expanded versions of six papers from that conference, chosen by the program committee. All the papers chosen were rated highly in the usual conference review process, but that was not the sole criteria for inclusion. We also looked for work that would benefit from a more expanded, mature treatment, and we aimed for a representative sample of topics. …
Nächster Artikel Graph Theory in Coq: Minors, Treewidth, and Isomorphisms

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
Metadaten
Titel
Preface: Selected Extended Papers from Interactive Theorem Proving 2018
verfasst von
Jeremy Avigad
Assia Mahboubi
Publikationsdatum
22.05.2020
Verlag
Springer Netherlands
Erschienen in
Journal of Automated Reasoning / Ausgabe 5/2020
Print ISSN: 0168-7433
Elektronische ISSN: 1573-0670
DOI
https://doi.org/10.1007/s10817-020-09557-w

Weitere Artikel der Ausgabe 5/2020

Journal of Automated Reasoning 5/2020 Zur Ausgabe

OriginalPaper

Verified Analysis of Random Binary Tree Structures

OriginalPaper

Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL

OriginalPaper

Formal Reasoning Under Cached Address Translation

OriginalPaper

A Relaxation of Üresin and Dubois’ Asynchronous Fixed-Point Theory in Agda

OriginalPaper

The MetaCoq Project

OriginalPaper

Graph Theory in Coq: Minors, Treewidth, and Isomorphisms

Premium Partner

    Bildnachweise