Skip to main content
Skip header
VSB-TUO
FEECS
InNET
For applicants
For students
cz
Study
Main menu
Close
Study
For applicants
Study
For applicants
Bachelor's
Master's
Doctoral
Focus of study
Study Programmes
Admission procedure
For students
Study
For students
Bachelor's studies
Master's studies
Doctoral studies
For the public
For schools
Science and research
Main menu
Close
Science and research
Projects
Publications
Collaboration
Main menu
Close
Collaboration
Collaboration
Contact
Main menu
Close
Contact
Department Management
Study Department People
Staff
About the Department
Main menu
Close
About the Department
Department Management
Contacts
InNET
For applicants
For students
VSB-TUO
FEECS
česky
Close
Searching
FEECS
Department of Computer Science
Science and research
Projects
Projects
Title
Logické základy sémantiky
Code
GD401/09/H007
Start year
2009
End year
2012
Provider
The Czech Science Foundation
Category
Projekt do 2.9.2026
Type
Spoluřešitelé
Solver
Duží Marie prof. RNDr., CSc.