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

Inhalt (4 Artikel)

Proof Pearl: a Formal Proof of Higman’s Lemma in ACL2

Francisco Jesús Martín-Mateos, José Luis Ruiz-Reina, José Antonio Alonso, María José Hidalgo

Conjecture Synthesis for Inductive Theories

Moa Johansson, Lucas Dixon, Alan Bundy

Formal Power Series

Amine Chaieb

A Certified Proof of the Cartan Fixed Point Theorems

Gianni Ciolli, Graziano Gentili, Marco Maggesi

Aug 11
Ausgabe: 2/2011
Special Issue of Selected Extended Papers of CADE-22 / Guest Edited by Renate A. Schmidt and Brigitte Pientka
Dez 11
Ausgabe: 4/2011
Special Issue on Selected Papers from the 5th International Joint Conference on Automated Reasoning

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr