T-79.5101 Advanced Course in Computational LogicHome AssignmentsFiles related with home assignments can be accessed using a link of the following form: http://www.tcs.hut.fi/Studies/T-79.5101/students/12345X/
where In addition to the address given above, you have to know a user id and a password that are automatically sent to you by email if you are registered for the course. If not, please contact the lecturer in order to get registered. Back to home page.[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links] Latest update: 11 February 2008. Ilkka.Niemelä |