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/2015

Special Issue: 40 Years of Mizar and Beyond

Inhalt (10 Artikel)

Andrzej Trybulec – in Memoriam

Krystyna Trybulec Kuperberg

Open Access

Four Decades of Mizar

Adam Grabowski, Artur Korniłowicz, Adam Naumowicz

Reconsidering Pairs and Functions as Sets

Chad E. Brown

Open Access

Mechanizing Complemented Lattices Within Mizar Type System

Adam Grabowski

Formal Proofs of Hypergeometric Sums

John Harrison

Open Access

MizAR 40 for Mizar 40

Cezary Kaliszyk, Josef Urban

Open Access

Definitional Expansions in Mizar

Artur Korniłowicz

Evidence Algorithm and Inference Search in First-Order Logics

Alexander Lyaletski

Open Access

Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver

Adam Naumowicz

Open Access

Improving Legibility of Formal Proofs Based on the Close Reference Principle is NP-Hard

Karol Pąk

Aug 15
Ausgabe: 2/2015
Dez 15
Ausgabe: 4/2015

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr