VIAF

Virtual International Authority File

Search

Leader 00000cz a2200037n 45 0
001 SUDOC|126923663 (VIAF cluster) (Authority/Source Record)
005 202004170509.3
008 080825 nfazznn||| |n aaa |d
003 SUDOC
035 ‎‡a (SUDOC)126923663‏
024 7 ‎‡a 0000000079054802‏ ‎‡2 isni‏
035 ‎‡a http://viaf.org/viaf/65695081‏
100 1 ‎‡a Zhang, Jing-Zhong‏
665 ‎‡a Ecrit aussi en anglais‏ ‎‡a Mathématicien et informaticien. En poste à Academia Sinica, Chendu, Chine (en 1994)‏
670 ‎‡a Machine proofs in geometry: automated production of readable proofs for geometry theorems / Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang, 1994‏
901 ‎‡a 978981021584‏ ‎‡9 1‏
901 ‎‡a 978981277599‏ ‎‡9 1‏
909 ‎‡a (isni) 0000000079054802‏ ‎‡9 1‏
910 ‎‡a machineproofsingeometryautomatedproductionofreadableproofsforgeometryproblems‏ ‎‡A Machine proofs in geometry:‏ ‎‡b automated production of readable proofs for geometry problems /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a symboliccomputationandeducation‏ ‎‡A Symbolic computation and education /‏ ‎‡l eng‏ ‎‡9 1‏
919 ‎‡a machineproofsingeometryautomatedproductionofreadableproofsforgeometrytheorems‏ ‎‡A Machine proofs in geometry: automated production of readable proofs for geometry theorems‏ ‎‡9 1‏
920 ‎‡a 978-981‏ ‎‡9 2‏
921 ‎‡a world scientific‏ ‎‡b World Scientific,‏ ‎‡9 1‏
922 ‎‡a si‏ ‎‡b sg‏ ‎‡9 2‏
940 ‎‡a eng‏ ‎‡9 2‏
941 ‎‡a auteur‏ ‎‡e Auteur‏ ‎‡9 1‏
941 ‎‡a directeur de la publication‏ ‎‡e Directeur de la publication‏ ‎‡9 1‏
943 ‎‡a 199x‏ ‎‡9 1‏
943 ‎‡a 200x‏ ‎‡9 1‏
944 ‎‡a am‏ ‎‡9 2‏
950 ‎‡a gao xiao shan‏ ‎‡A Gao, Xiao-Shan.‏ ‎‡9 1‏
950 ‎‡a chou shang ching‏ ‎‡A Chou, Shang-Ching‏ ‎‡d (1942-....).‏ ‎‡9 1‏
950 ‎‡a wang dongming‏ ‎‡A Wang, Dongming‏ ‎‡d (1961-....).‏ ‎‡9 1‏
950 ‎‡a li shangzhi‏ ‎‡A Li, Shangzhi‏ ‎‡d (1947-....).‏ ‎‡9 1‏
951 ‎‡a international seminar on symbolic computation in education beihang university 2006 auteur‏ ‎‡A International Seminar on Symbolic Computation in Education‏ ‎‡c (Beihang University)‏ ‎‡d (2006).‏ ‎‡e Auteur‏ ‎‡9 1‏
996 ‎‡2 LC|no2021065174‏
996 ‎‡2 SZ|1142798291‏
996 ‎‡2 ISNI|0000000458259728‏
996 ‎‡2 WKP|Q91344614‏
996 ‎‡2 WKP|Q67388985‏
996 ‎‡2 J9U|987010000206705171‏
996 ‎‡2 WKP|Q96137663‏
996 ‎‡2 WKP|Q130818516‏
996 ‎‡2 WKP|Q85467678‏
996 ‎‡2 LC|no2017119266‏
996 ‎‡2 DNB|128891377X‏
996 ‎‡2 ISNI|0000000448027157‏
996 ‎‡2 LC|no2024091172‏
996 ‎‡2 DNB|1028841000‏
996 ‎‡2 WKP|Q100755635‏
996 ‎‡2 NTA|381336395‏
996 ‎‡2 WKP|Q85903782‏
996 ‎‡2 DNB|1138567345‏
996 ‎‡2 DNB|1014822033‏
996 ‎‡2 LC|n 2015054735‏
996 ‎‡2 NDL|00317901‏
996 ‎‡2 ISNI|0000000440134505‏
996 ‎‡2 LC|no2004014860‏
996 ‎‡2 ISNI|0000000050931293‏
996 ‎‡2 LIH|LNB:C_a__s_J;=B_x_‏
996 ‎‡2 DNB|1304144453‏
996 ‎‡2 DNB|171901525‏
996 ‎‡2 LC|no2010182662‏
996 ‎‡2 NTA|317520369‏
996 ‎‡2 WKP|Q100439189‏
996 ‎‡2 WKP|Q104063325‏
996 ‎‡2 WKP|Q104063324‏
996 ‎‡2 WKP|Q88449370‏
996 ‎‡2 LC|no2010117776‏
996 ‎‡2 ISNI|0000000381606962‏
996 ‎‡2 WKP|Q96251139‏
996 ‎‡2 WKP|Q88751435‏
996 ‎‡2 WKP|Q51811815‏
996 ‎‡2 NII|DA11107935‏
996 ‎‡2 J9U|987007352632105171‏
996 ‎‡2 ISNI|0000000384723865‏
996 ‎‡2 NDL|033392273‏
996 ‎‡2 WKP|Q88836209‏
996 ‎‡2 LC|n 2008036421‏
996 ‎‡2 WKP|Q59834761‏
996 ‎‡2 ISNI|0000000026943649‏
996 ‎‡2 WKP|Q96186424‏
996 ‎‡2 LC|no2012108525‏
996 ‎‡2 BIBSYS|3094413‏
996 ‎‡2 WKP|Q89823352‏
996 ‎‡2 NUKAT|n 2007008954‏
996 ‎‡2 NII|DA09446767‏
996 ‎‡2 LC|n 96002843‏
996 ‎‡2 DNB|1116490617‏
996 ‎‡2 WKP|Q96686858‏
996 ‎‡2 WKP|Q67389073‏
996 ‎‡2 SELIBR|398797‏
996 ‎‡2 DNB|1317468120‏
996 ‎‡2 WKP|Q88362672‏
996 ‎‡2 DNB|1030109354‏
996 ‎‡2 WKP|Q92993988‏
996 ‎‡2 WKP|Q61802184‏
996 ‎‡2 NTA|355346877‏
996 ‎‡2 LC|no2022155248‏
996 ‎‡2 WKP|Q88611233‏
996 ‎‡2 LC|no2013035006‏
996 ‎‡2 NUKAT|n 2018142315‏
996 ‎‡2 ISNI|0000000113046719‏
996 ‎‡2 NTA|387223568‏
996 ‎‡2 NII|DA16113265‏
996 ‎‡2 KRNLK|KAC200208032‏
996 ‎‡2 RERO|A009029003‏
996 ‎‡2 DNB|1296364933‏
996 ‎‡2 LC|no2022137915‏
996 ‎‡2 LC|n 2016005653‏
996 ‎‡2 ISNI|0000000080558151‏
996 ‎‡2 WKP|Q92574281‏
996 ‎‡2 WKP|Q93032614‏
996 ‎‡2 NTA|33943712X‏
996 ‎‡2 ISNI|0000000513097507‏
996 ‎‡2 BNF|17916481‏
996 ‎‡2 WKP|Q101239011‏
996 ‎‡2 WKP|Q86187536‏
996 ‎‡2 WKP|Q60152984‏
996 ‎‡2 WKP|Q130838175‏
996 ‎‡2 WKP|Q89694337‏
996 ‎‡2 DNB|1095798383‏
996 ‎‡2 ISNI|0000000434553455‏
996 ‎‡2 NUKAT|n 2022176679‏
996 ‎‡2 WKP|Q87243010‏
996 ‎‡2 WKP|Q88333912‏
996 ‎‡2 KRNLK|KAC200501923‏
996 ‎‡2 RERO|A017351696‏
996 ‎‡2 WKP|Q90304532‏
996 ‎‡2 WKP|Q84447336‏
996 ‎‡2 DNB|1023661667‏
996 ‎‡2 DNB|1218020792‏
996 ‎‡2 LC|no2011135895‏
996 ‎‡2 ISNI|0000000417086007‏
996 ‎‡2 LC|no2008011533‏
996 ‎‡2 BNF|14241449‏
996 ‎‡2 WKP|Q86897674‏
996 ‎‡2 BNF|16027579‏
996 ‎‡2 WKP|Q118591219‏
996 ‎‡2 PLWABN|9810608341705606‏
996 ‎‡2 WKP|Q22103315‏
996 ‎‡2 LC|no2016051796‏
996 ‎‡2 ISNI|0000000074808716‏
996 ‎‡2 DNB|1261331249‏
996 ‎‡2 DNB|1186999942‏
996 ‎‡2 NTA|406400210‏
996 ‎‡2 BIBSYS|3006928‏
996 ‎‡2 WKP|Q86626086‏
996 ‎‡2 LC|no2004090218‏
996 ‎‡2 DNB|1331498333‏
996 ‎‡2 NDL|01180211‏
996 ‎‡2 WKP|Q89722502‏
996 ‎‡2 NII|DA08971965‏
996 ‎‡2 DNB|1140459708‏
996 ‎‡2 WKP|Q56988657‏
996 ‎‡2 LC|n 78044632‏
996 ‎‡2 DNB|1084617315‏
996 ‎‡2 WKP|Q100729576‏
996 ‎‡2 WKP|Q91430684‏
996 ‎‡2 J9U|987007421908605171‏
996 ‎‡2 BNF|16003476‏
996 ‎‡2 DNB|138849137‏
996 ‎‡2 WKP|Q90364041‏
996 ‎‡2 WKP|Q20688493‏
996 ‎‡2 DNB|1182062091‏
996 ‎‡2 WKP|Q66950990‏
996 ‎‡2 WKP|Q88241341‏
996 ‎‡2 NSK|000658593‏
996 ‎‡2 LC|no2015057263‏
996 ‎‡2 DNB|1196230005‏
996 ‎‡2 BIBSYS|9018130‏
996 ‎‡2 WKP|Q95982178‏
996 ‎‡2 WKP|Q88483443‏
996 ‎‡2 DNB|1128673614‏
996 ‎‡2 DNB|138799105‏
996 ‎‡2 ISNI|0000000063841668‏
996 ‎‡2 WKP|Q89098802‏
996 ‎‡2 SELIBR|269216‏
996 ‎‡2 DNB|123854519X‏
996 ‎‡2 DNB|1202876730‏
996 ‎‡2 ISNI|0000000084516733‏
996 ‎‡2 ISNI|0000000407413107‏
996 ‎‡2 DNB|1014609690‏
996 ‎‡2 WKP|Q130824682‏
996 ‎‡2 WKP|Q92255856‏
996 ‎‡2 DNB|1225352126‏
996 ‎‡2 WKP|Q92562068‏
996 ‎‡2 NTA|321171039‏
996 ‎‡2 NTA|298981947‏
996 ‎‡2 CYT|AC000641194‏
996 ‎‡2 DNB|139325557‏
996 ‎‡2 WKP|Q90932973‏
996 ‎‡2 WKP|Q88032355‏
996 ‎‡2 WKP|Q99411985‏
996 ‎‡2 LC|n 2019042385‏
996 ‎‡2 WKP|Q104687747‏
996 ‎‡2 DNB|122261944X‏
996 ‎‡2 DNB|1310616914‏
996 ‎‡2 J9U|987011561339805171‏
996 ‎‡2 WKP|Q60781649‏
996 ‎‡2 DNB|1058430890‏
996 ‎‡2 WKP|Q92138702‏
996 ‎‡2 WKP|Q104752850‏
996 ‎‡2 WKP|Q95965918‏
996 ‎‡2 WKP|Q131017353‏
996 ‎‡2 LC|no2006043112‏
996 ‎‡2 DNB|126820031X‏
996 ‎‡2 DNB|1163324191‏
996 ‎‡2 WKP|Q131019771‏
996 ‎‡2 DNB|1103676164‏
996 ‎‡2 ISNI|0000000115536455‏
996 ‎‡2 WKP|Q87762898‏
996 ‎‡2 DNB|1013791169‏
996 ‎‡2 WKP|Q100539237‏
996 ‎‡2 ISNI|0000000447512409‏
996 ‎‡2 CYT|AC000385540‏
996 ‎‡2 WKP|Q91128668‏
996 ‎‡2 LC|n 2011009528‏
996 ‎‡2 WKP|Q103824807‏
996 ‎‡2 DNB|1075078105‏
996 ‎‡2 WKP|Q100756526‏
996 ‎‡2 DNB|17192214X‏
996 ‎‡2 DNB|1235330524‏
996 ‎‡2 DNB|1022772511‏
996 ‎‡2 WKP|Q67470173‏
996 ‎‡2 LC|nr2004020791‏
996 ‎‡2 WKP|Q92947066‏
996 ‎‡2 WKP|Q100943398‏
996 ‎‡2 WKP|Q77923614‏
996 ‎‡2 ISNI|0000000501691509‏
996 ‎‡2 LC|nr 93019476‏
996 ‎‡2 WKP|Q93176620‏
996 ‎‡2 LC|n 2022054217‏
996 ‎‡2 WKP|Q96213290‏
996 ‎‡2 WKP|Q130978330‏
996 ‎‡2 DNB|1261304896‏
996 ‎‡2 WKP|Q91515007‏
996 ‎‡2 WKP|Q91500231‏
996 ‎‡2 DNB|1069541729‏
996 ‎‡2 DNB|1340489023‏
996 ‎‡2 WKP|Q88443950‏
996 ‎‡2 WKP|Q91924366‏
996 ‎‡2 DNB|1337260819‏
996 ‎‡2 WKP|Q91090744‏
996 ‎‡2 WKP|Q89639523‏
996 ‎‡2 WKP|Q94515050‏
996 ‎‡2 NTA|140886303‏
996 ‎‡2 WKP|Q92130839‏
996 ‎‡2 LC|n 2019062478‏
996 ‎‡2 DNB|138878285‏
996 ‎‡2 WKP|Q90430635‏
996 ‎‡2 DNB|1298469783‏
996 ‎‡2 ISNI|0000000424917649‏
996 ‎‡2 LC|no2002094859‏
996 ‎‡2 WKP|Q94554171‏
996 ‎‡2 NSK|000727604‏
996 ‎‡2 ISNI|0000000118952737‏
996 ‎‡2 ISNI|0000000109836558‏
996 ‎‡2 WKP|Q130958064‏
996 ‎‡2 ISNI|0000000448022452‏
996 ‎‡2 BIBSYS|98033039‏
996 ‎‡2 WKP|Q98243173‏
996 ‎‡2 LC|no2017022876‏
996 ‎‡2 WKP|Q130954402‏
996 ‎‡2 ISNI|0000000108951087‏
996 ‎‡2 DNB|1169940226‏
996 ‎‡2 NSK|000580659‏
996 ‎‡2 WKP|Q114319276‏
996 ‎‡2 NTA|364177810‏
996 ‎‡2 WKP|Q86112002‏
996 ‎‡2 CAOONL|ncf11602666‏
996 ‎‡2 WKP|Q94544855‏
996 ‎‡2 WKP|Q92864004‏
996 ‎‡2 WKP|Q91047724‏
996 ‎‡2 DNB|1015277292‏
996 ‎‡2 WKP|Q87755554‏
996 ‎‡2 WKP|Q92893740‏
996 ‎‡2 WKP|Q92678343‏
996 ‎‡2 NUKAT|n 2021140281‏
996 ‎‡2 WKP|Q92057130‏
996 ‎‡2 CYT|AC000641275‏
996 ‎‡2 WKP|Q91682931‏
996 ‎‡2 WKP|Q90967333‏
996 ‎‡2 DNB|1243695005‏
996 ‎‡2 WKP|Q92871073‏
997 ‎‡a 0 0 lived 0 0‏ ‎‡9 1‏
998 ‎‡a Zhang, Jingzhong,‏ ‎‡2 J9U|987007340013405171‏ ‎‡3 title: (0.73, 'machineproofsingeometry', 'machineproofsingeometryautomatedproductionofreadableproofsforgeometryproblems')‏
998 ‎‡a Zhang, Jingzhong,‏ ‎‡2 LC|n 94015574‏ ‎‡3 standard number‏
998 ‎‡a Zhang, Jingzhong,‏ ‎‡2 NKC|jcu2010566194‏ ‎‡3 standard number‏
998 ‎‡a Trương cảnh trung ‏ ‎‡2 WKP|Q8462948‏ ‎‡3 suggested‏
998 ‎‡a Zhang, Jingzhong‏ ‎‡2 ISNI|0000000079054802‏ ‎‡3 suggested‏ ‎‡3 joint author: (1.00, 'li shangzhi', 'li shangzhi')‏
998 ‎‡a Zhang, Jing-Zhong‏ ‎‡2 ISNI|0000000079054802‏ ‎‡3 suggested‏ ‎‡3 joint author: (1.00, 'li shangzhi', 'li shangzhi')‏
999 ‎‡2 SUDOCBIB|159771773‏
999 ‎‡2 SUDOCBIB|099300672‏