Veröffentlichungen
Mai 2020
So Mo Di Mi Do Fr Sa
    12
3456789
10111213141516
17181920212223
24252627282930
31 
DBApp-Suche

Application datasets: 20706 Version datasets: 149228
DBApp v1.06
Copyright © demon
Werbung
  HOL

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. (non)


 

Homepage: http://hol.sourceforge.net/
Rating:
Lizenz: BSD-Lizenz (Dreiklausel)
Kategorie: Konsole

ChangeLog:
http://hol.sourceforge.net/kananaskis-7.release.html 
 

.: Hauptzweig
2012-07-28  7  Stabile Version  
2011-01-06  6  Ersteintrag  
 
  Angaben ändern   Neue Version melden