Automated Reasoning
53.49 EUR
Der Band der neunten IJCAR-Konferenz aus Oxford fasst neueste Forschung in automatischem Beweisführung, formaler Logik und KI‑Verifikation zusammen; er bietet tiefe theoretische Analysen, praktische Anwendungen und interdisziplinäre Perspektiven für Wissenschaftler und Entwickler.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Automated Reasoning, Fachbücher von Stephan Schulz, Roberto Sebastiani, Didier Galmiche
Galaxus.de
21-04-2026 06:49:28
