booklooker
Ausgezeichnete Bewertungen
Anmelden/Login
  1. Bücher ▸
  2. ISBN ▸
  3. 3528047186
logo
mediatypes Bücher

Grundlagen des maschinellen Beweisens – Eine Einführung für Informatiker und Mathematiker – Buch gebraucht, antiquarisch & neu kaufen

ISBN 9783528047184: Grundlagen des maschinellen Beweisens – Eine Einführung für Informatiker und Mathematiker
   
€ €

Tagen
   
Suche verfeinern … >> Tipps zur Suche
Als Suchauftrag speichern
Für Kombisuche speichern  Hilfe zur Kombisuche
ISBN 9783528047184: Grundlagen des maschinellen Beweisens – Eine Einführung für Informatiker und Mathematiker
Sortierung: Autor | Titel | Jahr | Eingangsdatum | Preis | Preis + Versand | Relevanz
7 Treffer in Bücher
Gebrauchtware  gebraucht Neuware  Neuware
gebrauchtes Buch
Hofbauer, Dieter und Ralf-Detlef Kutsche
gebrauchte Buecher

Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker

Hofbauer, Dieter und Ralf-Detlef Kutsche


Vieweg

, 1989, Orig.-Karton
ISBN: 3528047186
Zustand: Gut
12,00 €
Versandkosten nach Deutschland 2,70 €
Versand frei ab 200,00 €
Verkäufer/in akzeptiert PayPal-Zahlung
mehr Info >>
auf Ihrem
wird gespeichert …
flag_common DE vom Händler, Bewertungen 100,0% positiv
gebrauchtes Buch
Hofbauer, Dieter; Kutsche, Ralf-Detlef:
gebrauchte Buecher
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.

Grundlagen des maschinellen Beweisens - Eine Einführung für Informatiker und Mathematiker

Hofbauer, Dieter; Kutsche, Ralf-Detlef


Vieweg & Sohn

, 1989, Paperback
ISBN: 3528047186
Zustand: wie neu
flag_common DE von privat, garantiert lieferbar, Bewertungen 100,0% positiv
gebrauchtes Buch
Ralf-Detlef Kutsche: Grundlagen des masc
gebrauchte Buecher
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.

Grundlagen des maschinellen Beweisens

Ralf-Detlef Kutsche


Vieweg & Teubner

, 1989, Lehrbuch
ISBN: 3528047186
Zustand: Gebraucht - Gut
flag_common DE von MyBookz, Bewertungen 100,0% positiv
gebrauchtes Buch
Dieter Hofbauer, Ralf-Detlef Kutsche: Gr
gebrauchte Buecher
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.

Grundlagen des maschinellen Beweisens : Eine Einführung für Informatiker und Mathematiker

Dieter Hofbauer, Ralf-Detlef Kutsche


Vieweg & Teubner

, 1989, Broschiert
ISBN: 3528047186
Zustand: leichte Gebrauchsspuren
flag_common DE von Berg-Berg Bücherwelt Inh.Aksoy, Bewertungen 98,0% positiv
neues Buch
Hofbauer, Dieter; Kutsche, Ralf-Detlef:
gebrauchte Buecher
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.

Grundlagen des maschinellen Beweisens - Eine Einführung für Informatiker und Mathematiker

Hofbauer, Dieter; Kutsche, Ralf-Detlef


Vieweg & Teubner

, 1989, Taschenbuch
ISBN: 3528047186
Neuware
gebrauchtes Buch
Hofbauer, Dieter und Ralf-Detlef Kutsche
gebrauchte Buecher

Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker.

Hofbauer, Dieter und Ralf-Detlef Kutsche


Braunschweig ; Wiesbaden : Vieweg

, 1989.
ISBN: 3528047186
flag_common DE vom Händler, Bewertungen 99,9% positiv
gebrauchtes Buch
Hofbauer, Dieter und Ralf-Detlef Kutsche
gebrauchte Buecher
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.

Grundlagen des maschinellen Beweisens. Eine Einführung für Informatiker und Mathematiker.

Hofbauer, Dieter und Ralf-Detlef Kutsche


Braunschweig / Wiesbaden, Vieweg

, 1989.
ISBN: 3528047186
Zustand: gebraucht; gut
flag_common DE vom Händler, Bewertungen 100,0% positiv