Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Automated Reasoning
13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
Produkt bewerten
Verlag:
Springer Verlag Unsere-Artikel-Nr.: P35287625
EAN: 9783032325884
Erhältlich:
Nicht auf Lager
Zustellung: Mi, 09.09.2026
Versand: Kostenlos
-2.5 %
CHF 55.90
CHF 54.50
Spezifikationen
Sprache
- Englisch
Autor
- Carsten Lutz
- Armin Biere
- Sara Negri
Zielgruppe
- Research
Erscheinungsjahr
- 2026
Format
- Buch (Softcover)
Anzahl Seiten
- 466