pub:publications:start
This is an old revision of the document!
Publications
You can find the GEIST members' publication in the AI Wiki and on the CS Lab website.
xtt rule-based_systems prolog rules ai ard formal_analysis formal_methods
pub/publications/start.1256140918.txt.gz ยท Last modified: 2009/10/21 16:01 by wtf