>	general info	>
>	publications	>

Jakob Praher, DI

Former member of RISC

Working area: Automated Reasoning, Logic Programming

Phone:	none
Web:	http://www.risc.jku.at/home/jpraher/