[IEEE CLEO/Europe. 2005 Conference on Lasers and Electro-Optics Europe, 2005. - Munich, Germany (2005.06.17-2005.06.17)] CLEO/Europe. 2005 Conference on Lasers and Electro-Optics Europe, 2005. - Copyright
- 文件大小68.69KB
- 发表时间2005
- DOI10.1109/cleoe.2005.1567788
同期刊推荐
Hyperidentities of De Morgan algebrasMovsisyan, Y. M.; Aslanyan, V. A. · Logic Journal of IGPL · 2012
Substructural logics on displayGore, R · Logic Journal of IGPL · 1998
Modal Logics for Qualitative Spatial ReasoningBENNETT, BRANDON · Logic Journal of IGPL · 1996
Self provers and 1 sentencesGoris, E.; Joosten, J. J. · Logic Journal of IGPL · 2012
A Useful Substructural LogicRESTALL, GREG · Logic Journal of IGPL · 1994
Unifiability in extensions of K4Gencer, C.; De Jongh, D. · Logic Journal of IGPL · 2009
After GodelPutnam, H. · Logic Journal of IGPL · 2006
Algebraic polymodal logic: a surveyGoldblatt, R · Logic Journal of IGPL · 2000