| 22nd Dec 2010 |
| Duties page of Logic (NAIL062) has been updated. »» |
| 21st Dec 2010 |
| Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 16th Dec 2010 |
| 9th lecture on Decision Procedures and Verification (NAIL094) is on-line. »» |
| 16th Dec 2010 |
| Duties page of Decision Procedures and Verification (NAIL094) has been updated. »» |
| 16th Dec 2010 |
| A new presentation from the Seminar on Artificial Intelligence (NAIL004) is on-line. »» |
| 14th Dec 2010 |
| Duties page of Logic (NAIL062) has been updated. »» |
| 14th Dec 2010 |
| The progam of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 14th Dec 2010 |
| Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 12th Dec 2010 |
| Results of the alternative test from Logic (NAIL062) are on-line. »» |
| 10th Dec 2010 |
| Several notes on 8th lecture on Decision Procedures and Verification (NAIL094) are on-line. »» |
| 10th Dec 2010 |
| 8th lecture on Decision Procedures and Verification (NAIL094) is on-line. »» |
| 10th Dec 2010 |
| Duties page of Decision Procedures and Verification (NAIL094) has been updated. »» |
| 7th Dec 2010 |
| Duties page of Logic (NAIL062) has been updated. »» |
| 7th Dec 2010 |
| Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 5th Dec 2010 |
| The main menu has been redesigned (dropdown submenu has been added). »» |
| 2nd Dec 2010 |
| 7th lecture on Decision Procedures and Verification (NAIL094) is on-line. »» |
| 2nd Dec 2010 |
| Duties page of Decision Procedures and Verification (NAIL094) has been updated. »» |
| 1st Dec 2010 |
| Duties page of Logic (NAIL062) has been updated. »» |
| 1st Dec 2010 |
| Several notes from the Seminar on Logic (NAIL062) are on-line. »» |
| 29th Nov 2010 |
| Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |