Vai al contenuto principale
Italiano
English
Login
Doctoral school
PhD in Computer Science
search
menu
Cerca:
Search in:
Advanced search
Throughout the site
Avvisi/News
Corsi/Courses
Materiale didattico/Training aid
Docenti/Teachers
Documenti/Documents
Dottorandi/Phd Students
PhD Programme
About this programme
Admission
After the PhD
International dimension
Contacts
Quality Assurance
AQ Phd System
Students Opinion
People
Advisory Board
Coordinator
Scientific Board
Supervisors
PhD Students
Phd
Academic training
Training Activity
Seminars and Conferences
Annual Report
Calendar
Final Defense
Deadlines and Templates
Scientific Production
Opportunities
Non Academic Networking
PhD Programme
arrow_drop_down
About this programme
Admission
After the PhD
International dimension
Contacts
Quality Assurance
arrow_drop_down
AQ Phd System
Students Opinion
People
arrow_drop_down
Advisory Board
Coordinator
Scientific Board
Supervisors
PhD Students
Phd
Academic training
arrow_drop_down
Training Activity
Seminars and Conferences
Annual Report
Calendar
Final Defense
Deadlines and Templates
Scientific Production
Opportunities
arrow_drop_down
Non Academic Networking
Home
Courses archive
Search results
Linear Logic
(INF05)
Academic year: 2019/2020
Home
Print
Inizio pagina
Non cliccare qui!
