×

Found 36 Documents (Results 1–36)

Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang. (English) Zbl 0831.03003

Reviewer: A.Leitsch (Wien)
MSC:  03B35 03-02 68T15 68W30 68-02 68U05 14Qxx
PDFBibTeX XMLCite

Einführung in die Informatik. Algorithmenentwicklung. (Introduction into computer science. Development of algorithms.). (German) Zbl 0726.68003

Springer-Lehrbuch. Berlin etc.: Springer-Verlag. X, 318 p. DM 46.00 (1991).
Reviewer: A.Leitsch (Wien)
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software