GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:publications:start

This is an old revision of the document!


Publications

You can browse and download GEIST members' publication in the AI Wiki.

GEIST members publications in AGH BPP system and DBLP

Monographs

xtt rule-based_systems prolog rules ai ard formal_analysis formal_methods

pub/publications/start.1290684404.txt.gz · Last modified: 2010/11/25 11:26 by wta

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki