Applications of mathematical logic

@proceedings{896,
   author = {Čepek, Ondřej},
   booktitle = {EURO XXIII (23rd European Conference of Operational Research)},
   language = {eng},
   title = {Applications of mathematical logic},
   year = {2009}
}

TY  - CONF
ID  - 896
AU  - Čepek, Ondřej
PY  - 2009
TI  - Applications of mathematical logic
ER  - 

ČEPEK, Ondřej. Applications of mathematical logic. In \textit{EURO XXIII (23rd European Conference of Operational Research)}. 2009.