Publication View

Overview 2 (2008)

Publication details

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.112.7996
Source	http://arkaptur.informatik.uni-freiburg.de/archive/teaching/ws2002/modeling_reasoning/slides/8/hol.pdf
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Type	text
Language	English