-
Deutschland
Land International
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings (Lecture Notes in Computer Science)
Aus den Vorträgen der achten IJCAR-Konferenz in Coimbra entsteht ein kompakter Leitfaden, der die neuesten Algorithmen für automatisiertes Beweisen ...
Gesponsert
Medimops DE
82.74 EUR
Preis aktualisiert am: 28-10-2026 17:29:42
Gesponsert
Hugendubel
85.49 EUR
Preis aktualisiert am: 29-10-2026 11:33:47
Gesponsert
Galaxus.de
85.59 EUR
Preis aktualisiert am: 29-10-2026 14:24:56
Gesponsert
SpringerLink DE
94.50 EUR
Preis aktualisiert am: 01-11-2026 18:30:08
Allgemein
Marke
Nicola Olivetti
ISBN
Nicola Olivetti 3319402285
