CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
まだ評価がありません
2014
·
英語
·
ペーパーバック