en
|
de
Department of Computer Science
University of Innsbruck
Home
Research
Teaching
Members
Events
News
Teaching
lectures
bachelor projects
master projects
software
Logic
introduction
feedback
registration
lecturers
time & place
schedule
evaluation
material
Logic
master program
VO2 WS 2008/2009
703501
Additional Material
on paramodulation and superposition (
pdf
)
on Isabelle (
pdf
)