Věta prokazující systém - Theorem Proving System

tento článek potřebuje další citace pro ověření. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: "Věta prokazující systém"  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Květen 2016) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Téma tohoto článku nemusí splňovat požadavky Wikipedie obecný pokyn k notabilitě. Pomozte prosím určit notabilitu citováním spolehlivé sekundární zdroje to jsou nezávislý tématu a poskytnout jeho významné pokrytí nad rámec pouhé triviální zmínky. Pokud nelze určit významnost, je pravděpodobné, že článek bude sloučeny, přesměrovánnebo smazáno. Najít zdroje: "Věta prokazující systém"  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Květen 2016) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

The Věta prokazující systém (TPS) je automatizované dokazování věty systém pro první objednávka a logika vyššího řádu. TPS byl vyvinut na Univerzita Carnegie Mellon. Jeho vzdělávací verze je známá jako ETPS (Systém prokazování vzdělávací věty).

externí odkazy

• Theorem Proving System web page

Tento vědecký software článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.