Author: HOFBAUER, D. and R.-D. KUTSCHE.
Title: Grundlagen des maschinellen beweisens. eine einfhrung fr mathematiker und informatiker.
Description: Braunschweig, Vieweg, 1989. 23 cm. paperback. viii,172 pp. ills. bibliography. index. -good. Gewicht/Weight: 777 grs.
Keywords:
Title: Grundlagen des maschinellen beweisens. eine einfhrung fr mathematiker und informatiker.
Description: Braunschweig, Vieweg, 1989. 23 cm. paperback. viii,172 pp. ills. bibliography. index. -good. Gewicht/Weight: 777 grs.
Keywords:
Price: EUR 20.00 = appr. US$ 21.74 Seller: Boekhandel-Antiquariaat Emile Kerssemakers
- Book number: 69578
- Book number: 69578