Automated Reasoning with Analytic Tableaux and Related Methods
In dieser Konferenzbandausgabe werden innovative Methoden zur automatisierten Beweisführung vorgestellt, wobei analytische Tafeln und verwandte Techn ...
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 27-04-2026 22:16:30
Allgemein
Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540439293
MPN
Springer Berlin Heidelberg Illustrations
