Mechanical theorem proving in geometries : basic principles

Mechanical theorem proving in geometries : basic principles

Enregistré dans:
Détails bibliographiques
Auteur principal : Wu Wenjun (Auteur)
Autres auteurs : Wang Dongming (Traducteur), Jin Xiaofan (Traducteur)
Format : Livre
Langue : anglais
Titre complet : Mechanical theorem proving in geometries : basic principles / Wen-tsün Wu; transl. from the Chinese by Xiaofan Jin and Dongming Wang
Publié : Wien, New York : Springer-Verlag , cop. 1994
Description matérielle : 1 vol. (XIV-288 p.)
Collection : Texts and monographs in symbolic computation
Sujets :
Théorèmes > Démonstration automatique
Géométrie > Informatique
LEADER 02294cam a2200589 4500
001 PPN018246605
003 http://www.sudoc.fr/018246605
005 20190627113700.0
010 |a 0-387-82506-1  |b New York 
010 |a 3-211-82506-1  |b Wien 
020 |a US  |b 941452 
035 |a (OCoLC)29844023 
035 |a ocm29844023 
035 |a DYNIX_BUNAN_238535 
100 |a 19940201h19941994k y0frey0103 ba 
101 1 |a eng  |c chi 
102 |a AT 
105 |a a ||||001yy 
106 |a r 
200 1 |a Mechanical theorem proving in geometries  |b Texte imprimé  |e basic principles  |f Wen-tsün Wu  |g transl. from the Chinese by Xiaofan Jin and Dongming Wang 
210 |a Wien  |a New York  |c Springer-Verlag  |d cop. 1994 
215 |a 1 vol. (XIV-288 p.)  |c ill.  |d 25 cm 
225 2 |a Texts and monographs in symbolic computation  |x 0943-853X 
300 |a "Publié pour la première fois en chinois sous le titre 'Basic principles of mechanical theorem proving in geometries' par Science Press, Beijing, 1984"--T.p. verso 
320 |a Bibliogr. p. [281]-284. Index 
410 | |0 040064158  |t Texts and monographs in symbolic computation  |x 0943-853X 
606 |3 PPN027819213  |a Théorèmes  |x Démonstration automatique  |2 rameau 
606 |3 PPN034961283  |a Géométrie  |x Informatique  |2 rameau 
675 |a 516/.001/5113  |v 20 
680 |a QA448.D38  |b W8 1994 
686 |a F.4  |2 acm 
686 |a 68T15  |c 2010  |2 msc 
686 |a 51-01  |c 2010  |2 msc 
700 1 |3 PPN032771886  |a Wu  |b Wenjun  |f 1919-2017  |4 070 
702 1 |3 PPN033131457  |a Wang  |b Dongming  |4 730 
702 1 |3 PPN08253795X  |a Jin  |b Xiaofan  |4 730 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b Abes  |c 20160502  |g AFNOR 
979 |a SCI 
979 |a CCFA 
915 |5 441092104:180068717  |a 1160977654  |b 1160977654 
915 |5 441092104:180068725  |a 1160784498  |b 1160784498 
915 |5 441092208:639637299  |b 11825 
919 |5 441092104:180068717  |a 1160977654 
919 |5 441092104:180068725  |a 1160784498 
930 |5 441092104:180068717  |b 441092104  |j u 
930 |5 441092104:180068725  |b 441092104  |j u 
930 |5 441092208:639637299  |b 441092208  |a 68C01  |j u 
991 |5 441092208:639637299  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 11825  |d CMB  |e BAP  |s d  |c 68C01 
998 |a 188970