Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Grundlagen des maschinellen Beweisens: Eine Einf?hrung f?r Informatiker und Math

Ø 0.0

0 Bewertungen

59,13 €

Grundlagen des maschinellen Beweisens. Subtitle Eine Einführung für Informatiker und Mathematiker. Dieses Buch ist ein Lehrbuch, das präzise die logischen und mathematischen Grundlagen des automatischen Theorembeweisens entwickelt.

Jetzt bei Ebay:

ISBN-13:

9783528147181
Book Title:

Grundlagen des maschinellen Beweisens
ISBN:

9783528147181

None:

International Standard : tracked-no signature (7 to 15 business days) 18,68 EUR - Lieferung zwischen 13. February 2025 und 26. February 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Russische Föderation , Belarus , Irland , Ukraine , Großbritannien , Afghanistan , Armenien , Aserbaidschan , Bangladesch , Bhutan , ... und weitere