Eintrag kommentierenEintrag bewerten
Dieser Eintrag wurde im Schnitt mit 0 von 5 Punkten bewertet
Glossareintrag
OTTER
Glossar:26060
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
Erläuterung
Organized Techniques for Theorem Proving and Effective Research ist ein Resolutionsbeweiser für unsortierte Prädikatenlogik erster Stufe mit Gleichheit. OTTER ist kein automatischer Theorem-Beweiser. Die anzuwendenden Inferenzregeln und Optionen zur Steuerung des Inferenz-Prozesses müssen von Hand eingestellt werden. Wenn die Formeln in der Eingabedatei nicht in Klauselform vorliegen, kann OTTER sie in Klauselform umwandeln und führt anschließend die Resolution durch.
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
 Eintrag kommentieren 
 Eintrag bewerten 
Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben.
 
Zum Seitenanfang Top Drucken Impressum AGB
Home

VSEK ©2001-2018