Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10900)
Der Band der neunten IJCAR-Konferenz aus Oxford sammelt Beiträge zu automatischer Beweisführung, formaler Logik und KI-Verifikation; er verbindet th ...
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 27-04-2026 19:14:09
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 27-04-2026 22:13:28
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 27-04-2026 13:32:59
Allgemein
Marke
Stephan Schulz
ISBN
Stephan Schulz 3319942042
MPN
Stephan Schulz YES61371385
