عنوان

Automated deduction in geometry:

(V.1)

3-540-64297-8

80-21

انگلیسی

Automated deduction in geometry:

[Book]

:Toulouse, France, September 27-29, 1996 selected papers

/ Dongming Wang ed

Berlin

: Springer

, 1997.

234P.

: ill.

; 24cm

(Lecture notes in computer science, 1360 lecture note in computer science. lecture notes in artificial intelligence)

Language: انگلیسی

Includes bibliographical references and index

Geometry - Data processing - Congresses

Automatic theorem proving - Congresses

Logic, Symbolic and mathematical - Congresses

QA448

D38I577

1997

Wang, Dongming

International workshop on Automated Deducation in Geometry (Ist:1996: Toulouse, France)

ایران

old catalog