pub:publications:start
This is an old revision of the document!
Publications
https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography
xtt rule-based_systems prolog rules ai ard formal_analysis formal_methods
pub/publications/start.1249461021.txt.gz ยท Last modified: 2009/08/05 08:30 by kkr