“Theorem Proving in Higher-Order Logics”的意思、由来-开放百科全书

词条	Theorem Proving in Higher-Order Logics
释义	SeeInteractive Theorem Proving (conference)
随便看	Castleton on hudson Castleton on Hudson Castleton-on-Hudson Bridge Castleton railway station Castleton Square Castleton square mall Castleton Subdivision Castleton Subdivision (CSX) Castle Toward Castletown Castletown, Caithness Castletown (Caithness) Castletown, County Cork Castletown, County Laois Castletown GAA Castletown Geoghegan Castletown Golf Links Castletown (horse) Castletown Kildrought Castletown-Kinneigh Castletown, Portland Castletown railway station Castletownroche Castletown R.U.F.C. Castletown, Sunderland

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。