Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automated Reasoning

Name: Automated Reasoning
Brand: Springer, Berlin
SKU: 52872730
Price: 48.19 EUR
Availability: PreOrder
Author: Armin Biere
ISBN: 9783032325884

13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I

Armin Biere

Carsten Lutz

Sara Negri

Sprache

Englisch

Buch Broschur

Libristo-Code: 52872730

Verlag Springer, Berlin, September 2026

This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint... Vollständige Beschreibung

Libristo-Code: 52872730

118 b

Demnächst

Neu

48.19 € inkl. MwSt.

Erwartete Neuerscheinung

Veröffentlichung 30. 09. 2026

Bis zu 30 Tage Rückgaberecht

This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26 29, 2026.

The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. The papers cover the following topical sections:

Part I: Theorem Proving and Automation; SAT, SMT, and Verification; Intuitionistic, Modal, and Temporal Logics;

Part II: Calculi, Proof Theory, and Decision Procedures; and Unification, Rewriting, and Computational Models.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Automated Reasoning

Autor Armin Biere, Carsten Lutz, Sara Negri

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2026

EAN 9783032325884

Libristo-Code 52872730

Verlag Springer, Berlin

Serie Lecture Notes in Computer Science

Abmessungen 155 x 235

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Computerhardware

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert