Veröffentlichungen
April 2015
So Mo Di Mi Do Fr Sa
  1234
567891011
12131415161718
19202122232425
2627282930 
DBApp-Suche

Application datasets: 19695 Version datasets: 132071
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 (geändert)
Kategorie: Konsole

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

.: Hauptzweig
2012-07-28  7  Stabile Version  mehr...  
 
  Angaben ändern   Neue Version melden