T-79.5101 Advanced Course in Computational Logic
Files related with home assignments can be accessed using a link of the following form:
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š