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. Deze editie wordt tweedehands aangeboden door 1 boekverkoper(s) 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.]
