Eintrag kommentierenEintrag bewerten
Dieser Eintrag wurde im Schnitt mit 0 von 5 Punkten bewertet
Glossareintrag
SNARK
Glossar:26052
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
Erläuterung
Snark ist ein Theorembeweiser für Spezifikationssprachen
(z. B. KIF, RDF, RDFS, DAML+OIL) und basiert auf CommonLisp. SNARK testet prädikatenlogische Sprachen 1.Stufe auf Inkonsistenzen, indem es Widersprüche zu erzeugen versucht.
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