Automated Reasoning with Analytic Tableaux and Related Methods
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
Galaxus.de
Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Martin Giese, Arild Waaler
Galaxus.de
06-09-2026 08:01:41
Gesponsert
SpringerLink DE
Automated Reasoning with Analytic Tableaux and Related Methods
SpringerLink DE
07-09-2026 03:57:42
Ähnliche Produkte
Automated Reasoning and Mathematics
37.44 EUR
Automated Reasoning
42.79 EUR
Automated Reasoning
85.59 EUR
Automated Reasoning
53.49 EUR
