My favorites
▼
|
Sign in
terms
A fast C++ term representation and manipulation library
Project Home
Wiki
Issues
Source
READ-ONLY: This project has been
archived
. For more information see
this post
.
Summary
People
Project Information
Project feeds
Code license
Artistic License/GPL
Labels
DescriptionLogic
,
Logic
,
Academic
,
SemanticWeb
,
Reasoning
Members
peter.wullinger
A fast C++ term representation and manipulation library
Powered by
Google Project Hosting