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 2/2016

Inhalt (5 Artikel)

In Memory of Mark Stickel

Peter Baumgartner, Wolfgang Bibel, Richard Waldinger

Mark Stickel: His Earliest Work

Donald W. Loveland

Semantically-Guided Goal-Sensitive Reasoning: Model Representation

Maria Paola Bonacina, David A. Plaisted

An Experiment with Satisfiability Modulo SAT

Hantao Zhang

Semi-intelligible Isar Proofs from Machine-Generated Proofs

Jasmin Christian Blanchette, Sascha Böhme, Mathias Fleury, Steffen Juilf Smolka, Albert Steckermeier

Jan 16
Ausgabe: 1/2016
Mär 16
Ausgabe: 3/2016
Special Issue of Selected Extended Papers of ITP 2014

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr