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
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben

Journal of Automated Reasoning

Ausgabe 3/2019

Inhalt (9 Artikel)

A PSpace Algorithm for Acyclic Epistemic DL

Jia Tao

Open Access

Semantics of Mizar as an Isabelle Object Logic

Cezary Kaliszyk, Karol Pąk

Open Access

Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF

Olaf Beyersdorff, Joshua Blinkhorn, Leroy Chew, Renate Schmidt, Martin Suda

Mechanized Metatheory Revisited

Dale Miller

Classification of Finite Fields with Applications

Hing-Lun Chan, Michael Norrish

Formally Verifying the Solution to the Boolean Pythagorean Triples Problem

Luís Cruz-Filipe, Joao Marques-Silva, Peter Schneider-Kamp

Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation

Wenxi Wang, Harald Søndergaard, Peter J. Stuckey

An Isabelle/HOL Formalisation of Green’s Theorem

Mohammad Abdulaziz, Lawrence C. Paulson

Formalization of Geometric Algebra in HOL Light

Li-Ming Li, Zhi-Ping Shi, Yong Guan, Qian-Ying Zhang, Yong-Dong Li

Aug 19
Ausgabe: 2/2019
Special Issue: Homotopy Type Theory and Univalent Foundations / Guest Editors: Peter Lefanu Lumsdaine, Nicolas Tabareau & Special Issue: Selected Extended Papers of ITP 2017 / Guest Editors: Mauricio Ayala-Rincón, César Muñoz
Dez 19
Ausgabe: 4/2019
Special Issue: Linearity / Guest Editors: Iliano Cervesato, Maribel Fernandez & Special Issue: Selected Extended Papers of NFM 2017 / Guest Editors: Clark Barrett, Temesghen Kahsai

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr