Lenat, D.B., (1976), AM: An artificial intelligence approach to discovery in mathematics as heuristic search, Ph.D. Thesis, STAN-CS-76-570, and Heuristic Programming Project Report HPP-76-8, Stanford University, AI Lab., Stanford, CA.
แหล่งข้อมูลอื่น
Edmund Furse; Why did AM run out of steam? 2006-05-28 ที่ เวย์แบ็กแมชชีน
Keith Devlin; Last doubts removed about the proof of the Four Color Theorem 2005-02-06 ที่ เวย์แบ็กแมชชีน, MAA Online, January 2005 (formal method)
ตุลาคม 04, 2021
การพ, จน, ทฤษฎ, บทด, วยคอมพ, วเตอร, เป, นบทพ, จน, ทฤษฎ, ทางคณ, ตศาสตร, บางส, วนถ, กสร, างข, นโดยคอมพ, วเตอร, บทพ, จน, ใช, คอมพ, วเตอร, วยส, วนใหญ, ในป, จจ, กใช, การพ, จน, โดยการลองท, กความเป, นไปได, ของทฤษฎ, พยายามพ, จน, อย, ทฤษฎ, บทส, เป, นทฤษฎ, ใหญ, นแรกท, ก. karphisucnthvsdibthdwykhxmphiwetxr epnbthphisucnthvsdithangkhnitsastrthimibangswnthuksrangkhunodykhxmphiwetxr bthphisucnthiichkhxmphiwetxrchwyswnihyinpccubn mkichwithikarphisucnodykarlxngthukkhwamepnipidkhxngthvsdithiphyayamphisucnxyu thvsdibthsisiepnthvsdiihyxnaerkthithukphisucndwykhxmphiwetxraenwkhidkhxngwithikarni khuxkarihkhxmphiwetxrrbhnathithakarkhanwnxnyudyaw odyichethkhnikhelkhkhnitechingchwnginkarkhwbkhum imihmikhwamphidphladmakekinip nnkhux erasamarthmxngkarkhanwnthisbsxn epnladbkhxngkarkhanwnphunthan echn phlthiidcakkarkhanwnphunthanaetlakhnni epnphlodypramanenuxngcakkhxmphiwetxrmikhwamaemnyacakd xyangirktam erasamarthsrangchwngkhxngkhatxbthithuktxngidcakphlodypramanni caknnerasamarthdaeninkarkhntxntxip odykarthakarkhanwnrahwangchwngkhxngtwelkhaetlatwthiidmanxkcakni insakhawicythangdanpyyapradisth yngidmikhwamphyayam thicasrangbthphisucnihmthikrachbaelachdecnkwaedim odykarichethkhnikhkarihehtuphlodyekhruxngckr echn karkhnhaaebbhiwristik twphisucnodyxtonmtidngklawni idchwyphisucnthvstiihm xikthngyngsrangbthphisucnihm ihkbthvstithiekhyidrbphisucnmaaelwxikdwyepahmayechingprchya aekikhkarphisucnthvsdibthdwykhxmphiwetxr epnpraednthimikarotethiyngknmakinwngkarkhnitsastr nkkhnitsastrbangkhnmikhwamechuxwa bthphisucnthiichkhxmphiwetxrchwyxnaesnyudyawnn imthuxepnbthphisucnthangkhnitsastrcring enuxngcakbthphisucnaebbni etmipdwykhntxnkarihehtuphlthangkhnitsastr thiyawekinkwathimnusycasamarthtrwcsxbid aelarusukwankkhnitsastrthukbngkhbihiwic inkarekhiynopraekrmkhxmphiwetxrinthangklbkn erasamarththamkhathamotklbidwa hakmnusyimiwickhxmphiwetxrihthakarkhanwnxnyudyawaelw ehtuideracungiwicinkarichehtuphlxnyudyawimaephkn khxngnkkhnitsastrbangkhn xangxing aekikhLenat D B 1976 AM An artificial intelligence approach to discovery in mathematics as heuristic search Ph D Thesis STAN CS 76 570 and Heuristic Programming Project Report HPP 76 8 Stanford University AI Lab Stanford CA aehlngkhxmulxun aekikhEdmund Furse Why did AM run out of steam Archived 2006 05 28 thi ewyaebkaemchchin Keith Devlin Last doubts removed about the proof of the Four Color Theorem Archived 2005 02 06 thi ewyaebkaemchchin MAA Online January 2005 formal method ekhathungcak https th wikipedia org w index php title karphisucnthvsdibthdwykhxmphiwetxr amp oldid 9615042, wikipedia, วิกิ หนังสือ, หนังสือ, ห้องสมุด,