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 1/2005

Inhalt (4 Artikel)

Combining Sets with Cardinals

Calogero G. Zarba

An Effective Algorithm for the Futile Questioning Problem

Anja Remshagen, Klaus Truemper

A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership

Domenico Cantone, Calogero G. Zarba, Rosa Ruggeri Cannata

A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers

Bernard Jurkowiak, Chu Min Li, Gil Utard

Dez 04
Ausgabe: 4/2004
Apr 05
Ausgabe: 3/2005

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr