|| Timetable
||
Calendar & Slides || Lab Assignments
|| Web
Resources || Additional Readings
||
Computational
Logic
Professor:Pablo
R. Fillottrani
Bachelor
& Master in
Computer Science
Faculty
of
Computer Science
Free
University of Bozen/Bolzano
Timetable
2nd. Semester 2005-2006
Lectures: Mon-Wed
8:30-10:30, Room E420
Labs:
Mon 14:00-16:00, Room E411
Office
Hours: Thu 16:00-18:00,
Room 226 Post building
Calendar
& Slides
Lab
Assignments
Web
Resources
- Logics
and Logic Programming
- LATEX
and math typesetting
- Prolog
- Automated Theorem Provers
- Answer Set Provers
Additional
Readings
||Top||
Timetable
||
Slides || Assignments
|| Web
Resources || Additional Readings
||