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

Special Issue on Selected Papers from the 5th International Joint Conference on Automated Reasoning

Inhalt (7 Artikel)

Preface: Special Issue of Selected Extended Papers of IJCAR 2010

Jürgen Giesl, Reiner Hähnle

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic

Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl

Monotonicity Inference for Higher-Order Formulas

Jasmin Christian Blanchette, Alexander Krauss

Classical Logic with Partial Functions

Hans de Nivelle

Tractable Extensions of the Description Logic with Numerical Datatypes

Despoina Magka, Yevgeny Kazakov, Ian Horrocks

Analytic Tableaux for Higher-Order Logic with Choice

Julian Backes, Chad Edward Brown

Decreasing Diagrams and Relative Termination

Nao Hirokawa, Aart Middeldorp

Okt 11
Ausgabe: 3/2011
Jan 12
Ausgabe: 1/2012

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner

    Bildnachweise