Zum Hauptinhalt springen
Umbreit Logo

Suchergebnisse für "Revantha Ramanayake/Josef Urban"

Redaktionelle Inhalte

Keine redaktionellen Inhalte für "Revantha Ramanayake/Josef Urban" gefunden.

Katalogsuche

Cover von Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21,2023, Proceedings, Lecture Notes in Computer Science 14278 - Lecture Notes in Artificial Intelligence

Revantha Ramanayake/Josef Urban

Springer Verlag GmbH

42,79 €

(inklusive MwSt.)

Lieferbar

Der Umbreit-Newsletter

Jetzt anmelden und immer über Angebote, Neuigkeiten und Aktionen informiert bleiben.

Jetzt anmelden