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
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben

Journal of Automated Reasoning

Ausgabe 2/2007

Special Issue on User Interfaces in Theorem Proving

Inhalt (6 Artikel)

Special Issue on User Interfaces in Theorem Proving: Preface

David Aspinall, Christoph Lüth

User Interaction with the Matita Proof Assistant

Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli

Integrating Searching and Authoring in Mizar

Paul Cairns, Jeremy Gow

A Graphical User Interface for Formal Proofs in Geometry

Julien Narboux

Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book

William Billingsley, Peter Robinson

Visualizing SAT Instances and Runs of the DPLL Algorithm

Carsten Sinz

Jul 07
Ausgabe: 1/2007
Okt 07
Ausgabe: 3/2007
Special Issue on Reasoning in Description Logics

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner

    Bildnachweise