開發者 virunga.sf.net

用於分析、驗證和推理的應用程式程式設計介面，使用概念空間標記語言 （CSML） 中表示的內用。