 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Literatur |
|
Überblicksartikel zu Theorem Proving |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Dieser Überblicksartikel zum Theorem Proving (TP) beschreibt die Anwendungsmöglichkeiten von TP und enthält eine Liste mit Links zu existierenden TP-Tools und damit verbundenen Anwendungsbeispielen von TP.
http://www.cs.miami.edu/~tptp/OverviewOfATP.html | |||||||||
| |||||||||
| Autoren | |||||||||
| |||||||||
| Geoff Sutcliffe | |||||||||
| |||||||||
| Publikationstyp | |||||||||
| |||||||||
| Bericht | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Downloads | |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren
| ||||||||||||||
|
