コンテンツにスキップ

解析的

出典: フリー百科事典『ウィキペディア(Wikipedia)』

 (analytic) 


: 
: 

: 


: 

: 

: 

: 

: 

: 






Lightface analytic game


: in structural proof theory, a proof whose structure is simple in a special way

Method of analytic tableaux, a fundamental concept in automated theorem proving


: 


: 17

: [1]

[]



(一)^ Weisstein, Eric W. "Analytic." From MathWorld - A Wolfram Web Resource. http://mathworld.wolfram.com/Analytic.html

[]


() -