m
MathOuvrage

H 0 Mechanical geometry theorem proving

H

Chou, Shang-Ching

D. Reidel publishing company

1988

xii, 362 p. ; 25 cm

36034

géométrie ; preuve automatique

https://link.springer.com/bookseries/6249


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 36034 1007654 GALERIE

ISBN10 : 90-277-2650-7

Type de doc : M

Ville d'édition : Dordrecht

Langue ouvrage : eng

Collection : Mathematics and its applications

ISSN Collection : 0921-3791

Class. Math. 1991 : 68U05 ; 94B27

Class. Library : QA76.9.A96C48

N° LCCCN : 87-30387

Class. Dewey : 516'.0028'5

Class. informatique : I.2.3 ; I.3.5

Lien SUDOC : https://www.sudoc.fr/020500165

Z