Automated Reasoning

82.74 EUR 3% Off 85.59 EUR

Aus den Vorträgen der achten IJCAR-Konferenz in Coimbra entsteht ein kompakter Leitfaden zu modernen Algorithmen des automatisierten Beweisens, logischen Modellierens und deren praktischer Anwendung.

Marke: Nicola Olivetti
ISBN: 3319402285
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
85.59 EUR 85.59 EUR
27-04-2026 06:43:12