Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Medimops DE
60.37 EUR
Preis aktualisiert am: 28-10-2026 19:41:47
Siehe Produktangebot
Gesponsert
Isabelle/HOL
Hugendubel
63.99 EUR
Preis aktualisiert am: 29-10-2026 02:49:36
Siehe Produktangebot
Gesponsert
Isabelle/HOL
SpringerLink DE
71.00 EUR
Preis aktualisiert am: 01-11-2026 18:29:09
Siehe Produktangebot

Allgemein

Marke
Tobias Nipkow
MPN
Tobias Nipkow 1
ISBN
Tobias Nipkow 3540433767

Eigenschaften

Ähnliche Produkte

Neues aus der zauberhaften Papier-Werkstatt: Noch mehr hauchschöne Bastel-Ideen aus Papier und Draht.
Neues aus der zauberhaften Papier-Werkstatt: Noch mehr hauchschöne Bastel-Ideen aus Papier und Draht.
Aus20.00 EUR 6
Produkt anzeigen
Göntgen, Isabelle: Nationalpark Schwarzwald
Göntgen, Isabelle: Nationalpark Schwarzwald
Aus16.90 EUR 4
Produkt anzeigen
Die Erzengel: 15 Begleiter auf dem Weg in ein erfülltes Leben
Die Erzengel: 15 Begleiter auf dem Weg in ein erfülltes Leben
Aus16.95 EUR 5
Produkt anzeigen
Pferdeführerschein Umgang mit dem Pferd
Pferdeführerschein Umgang mit dem Pferd
Aus13.65 EUR 2
Produkt anzeigen
Meine Freundin Isabell: Geschichten und Gedichte aus unserer Zeit mit Humor und Tiefgang
Meine Freundin Isabell: Geschichten und Gedichte aus unserer Zeit mit Humor und Tiefgang
Aus10.90 EUR 1
Produkt anzeigen
Power A Enhanced Wired Controller für Nintendo Switch
Power A Enhanced Wired Controller für Nintendo Switch - Animal Crossing: Isabell
Aus19.99 EUR 1
Produkt anzeigen
Menü