Theorem Proving System

The Theorem Proving System (TPS) is an automated theorem proving system for first-order and higher-order logic. TPS has been developed at Carnegie Mellon University. An educational version of it is known as ETPS (Educational Theorem Proving System).

单词	Theorem Proving System
释义	Theorem Proving System 英语百科 Theorem Proving System The Theorem Proving System (TPS) is an automated theorem proving system for first-order and higher-order logic. TPS has been developed at Carnegie Mellon University. An educational version of it is known as ETPS (Educational Theorem Proving System).
随便看	shaft column的意思 shaft communication的意思 shaft compartment的意思 shaft concentricity的意思 shaft connection的意思 shaft connection survey的意思 shaft construction method, open的意思 shaft contact的意思 shaft cooler的意思 shaft cooling shrood的意思 shaft cooling shroud的意思 shaft counter的意思 Shaft coupling的意思 shaft coupling bolt的意思 shaft coupling, flexible的意思 shaft coupling side的意思 shaft coupling with intermediate flexible disk的意思 shaft cover的意思 shaft crib的意思 shaft critical speed的意思 shaft crucible furnace的意思 shaft crusher的意思 shaftcup的意思 shaft cup spring的意思 shaft curb的意思