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 4/2009

Inhalt (2 Artikel)

The TPTP Problem Library and Associated Infrastructure

Geoff Sutcliffe

A Formally Verified Compiler Back-end

Xavier Leroy

Okt 09
Ausgabe: 3/2009
Special Issue: Computer Assisted Reasoning: A Festschrift for Michael J. C. Gordon / Guest Edited by Richard Boulton, Joe Hurd and Konrad Slind
Feb 10
Ausgabe: 1-2/2010
Special Issue: Programming Languages and Mechanized Mathematics Systems / Guest Edited by Jacques Carette, Makarius Wenzel and Freek Wiedijk

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr