Grundlagen des maschinellen Beweisens - . Dieter Hofbauer
Eine Einführung für Informatiker und Mathematiker
KORTE INHOUD
"Grundlagen des maschinellen Beweisens" is een boek van . Dieter Hofbauer. Het is uitgegeven door Vieweg+Teubner Verlag. Deze editie verscheen in 1989. Dit werk telt 184 pagina's.
Deze editie wordt tweedehands aangeboden door 1 boekverkopers uit Heerlen. Voor meer info, bekijk de beschrijving van de beschikbare exemplaren verder op deze pagina.
Deze editie wordt tweedehands aangeboden door 1 boekverkopers uit Heerlen. Voor meer info, bekijk de beschrijving van de beschikbare exemplaren verder op deze pagina.
1989zie alle details...
Categorie
Koop dit boek tweedehands
bij volgende verkopers
1 foto's
Stel vraag Softcover
23 cm. paperback. viii,172 pp. ills. bibliography. index. -good. 777 [Auteur: HOFBAUER, D. and R.-D. KUTSCHE.] [Uitgever: Vieweg] [Jaar: 1989] [Titel: Grundlagen des maschinellen beweisens. eine einführung für mathematiker und informatiker.]
