Automated Reasoning with Analytic Tableaux and Related Methods
53.49 EUR
Ein kompakter Sammelband aus der TABLEAUX‑Konferenz 2009 in Oslo, der aktuelle Fortschritte in analytischen Tafeln und verwandten Verfahren präsentiert; ideal für Forscher, die tiefe Einblicke in automatisiertes Schließen suchen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
SpringerLink DE
Automated Reasoning with Analytic Tableaux and Related Methods
SpringerLink DE
14-05-2026 02:38:09
Gesponsert
Galaxus.de
Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Martin Giese, Arild Waaler
Galaxus.de
13-05-2026 11:11:00
Ähnliche Produkte
Automated Reasoning and Mathematics
37.44 EUR
Automated Reasoning
42.79 EUR
Automated Reasoning
85.59 EUR
Automated Reasoning
53.49 EUR
