Automatische Synthese rekursiver Programme als Beweisverfahren
E-bok
PDF, Tyska, 2013608 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Fler format och utgåvor
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
KI 2004: Advances in Artificial Intelligence
Susanne Biundo, Thom Frühwirth, Günther Palm
Häftad, 2004
571 kr
KI 2004: Advances in Artificial Intelligence
Gunther Palm, Thom Fruhwirth, Susanne Biundo
E-bok
2005734 kr
Hoppa över listan
Du kanske också är intresserad av
KI 2004: Advances in Artificial Intelligence
Susanne Biundo, Thom Frühwirth, Günther Palm
Häftad, 2004
571 kr
KI 2004: Advances in Artificial Intelligence
Gunther Palm, Thom Fruhwirth, Susanne Biundo
E-bok
2005734 kr
- 10% rabatt på allt
Jag lät mitt rykte ta min plats : en berättelse om Olle Ljungström
Fredrik Emdén
Kartonnage, 2026
259 kr