 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
| ||||||
|  | |  | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Verfahren |
|
Theorem Proving (Zusammenfassung) |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Automatisiertes Theorem Proving (ATP) ist eine Technik, die sich sehr für Situationen eignet, in der ein analytisch denkender Experte für einen Anwendungsbereich mit einem leistungsfähigen Werkzeug zusammenarbeiten kann, um interessante und komplexe Probleme zu lösen. Für potentielle Anwender von ATP-Systemen ist es nicht notwendig, selbst ein ATP-System zu entwickeln, da bereits viele benutzungsfertige ATP-Systeme existieren.
Rückkehr zu Theorem Proving | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
| ||||
| ||||
| Theorem Proving (Zusammenfassung) | ||||
| ||||
| ||||
| ||||
| ||||
| Weitere Themen | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
