Veröffentlichungen
Juni 2020
So Mo Di Mi Do Fr Sa
123456
78910111213
14151617181920
21222324252627
282930 
DBApp-Suche

Application datasets: 20711 Version datasets: 149392
DBApp v1.06
Copyright © demon
Werbung
Programm-Informationen
Applikation:HOL
Version(en):
  Hauptzweig7
Lizenz:BSD-Lizenz (Dreiklausel)
Homepage:http://hol.sourceforge.net/
Kategorie:Konsole
Beschreibung:
Higher Order Logic (HOL) ist eine Programmierumgebung, in der Sätze bewiesen und Beweiswerkzeuge implementiert werden können. Eingebaute Entscheidungsprozeduren und Satzbeweiser können automatisch viele einfache Sätze beweisen. Ein Orakel-Mechanismus ermöglicht den Zugriff auf externe Programme wie SAT- und BDD-Engines. HOL ist insbesondere als Plattform zur Implementierung von Kombinationen von Ableitung, Ausführung und Prüfen von Eigenschaften geeignet.
 
Neue Kategorie