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

Inhalt (5 Artikel)

Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning

John Slaney, Bruno Woltzenlogel Paleo

Open Access

Genetic Programming Proof Search Automatic Improvement

Zoltan A. Kocsis, Jerry Swan

Visibly Linear Temporal Logic

Laura Bozzelli, César Sánchez

Many-Sorted Equivalence of Shiny and Strongly Polite Theories

Filipe Casal, João Rasga

A Formalization of Metric Spaces in HOL Light

Marco Maggesi

Jan 18
Ausgabe: 1/2018
Special Issue: Selected Extended Papers of NFM 2016
Mär 18
Ausgabe: 3/2018
Special Issue: Selected Extended Papers of VSTTE 2016

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr