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

  • dr inż. Sławomir Nowaczyk (DBLP)
  • mgr inż. Szymon Bobek

xtt rule-based_systems prolog rules ai ard formal_analysis formal_methods

pub/publications/start.1256735361.txt.gz · Last modified: 2009/10/28 13:09 by wtf

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki