Semantics of Mizar as an Isabelle Object Logic | springerprofessional.de

Springer Professional

nach oben

Journal of Automated Reasoning

Erschienen in:

Open Access 28.08.2018

Semantics of Mizar as an Isabelle Object Logic

verfasst von: Cezary Kaliszyk, Karol Pąk

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

Vorheriger Artikel A PSpace Algorithm for Acyclic Epistemic DL

Nächster Artikel Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF

Titel: Semantics of Mizar as an Isabelle Object Logic
verfasst von: Cezary Kaliszyk
Karol Pąk
Publikationsdatum: 28.08.2018
Verlag: Springer Netherlands
Erschienen in: Journal of Automated Reasoning / Ausgabe 3/2019
Print ISSN: 0168-7433
Elektronische ISSN: 1573-0670
DOI: https://doi.org/10.1007/s10817-018-9479-z

Weitere Formate
Fachgebiete
Bücher
Zeitschriften
Themenseiten
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024