pub:publications:start
This is an old revision of the document!
Publications
You can find the GEIST members' publication here
xtt rule-based_systems prolog rules ai ard formal_analysis formal_methods
pub/publications/start.1256140834.txt.gz ยท Last modified: 2009/10/21 16:00 by wtf