AI Seminar
June 4th, 2008, 15.15, glasburen

Julien Delnaye, exchange student, LTH

A generic automatic theorem prover for active logics and similar
labeled formal systems 


Abstract: