SPIE Proceedings [SPIE Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012 - Wilga, Poland (Monday 28 May 2012)] Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012 - On proving in epistemic logic
Grzegorczyk, Dawid, Mulawka, Jan J., Nieznański, Edward, Romaniuk, Ryszard S.Volume:
8454
Year:
2012
Language:
english
DOI:
10.1117/12.2000207
File:
PDF, 249 KB
english, 2012