m
     
MathOuvrage

H 0 Mechanical theorem proving in geometries

H

Wu, Wen-Tsun ; Jin, Xiaofan (Trad.) ; Wang, Donming (Trad.)

Springer

1994

xiv, 288 p. ; 24 cm

39533

démonstration automatique ; géométrie

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


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 39533 1014879 AGREG

Sous-titre : basic principles

ISBN10 : 3-211-82506-1

Type de doc : M

Ville d'édition : Wien

Pays d'édition : at

Langue ouvrage : eng

Collection : Texts and monographs in symbolic computation

ISSN Collection : 0943-853X

Bibliographie : Bibliogr. p. 281-284

Class. Library : QA448.D38W8

N° LCCCN : 94-1452

Class. Dewey : 516'001'5113

Class. informatique : F.4.1 ; I.2.3

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

Z